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