andrepd

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

MSc in Physics PhD Researcher in Logic and Automated Reasoning

Posts