andrepd

joined 6/19/2013, 5:56:55 PM has 18257 karma

MSc in Physics PhD Researcher in Logic and Automated Reasoning

Recent Posts