andrepd
Joined 13 years ago, with 19288 karma
Submissions
Comments
Favorites
Follow via RSS
MSc in Physics PhD Researcher in Logic and Automated Reasoning