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