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