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