andrepd

joined 6/19/2013, 5:56 PMhas 18,266 karma

MSc in Physics PhD Researcher in Logic and Automated Reasoning

Posts