andrepd 19,956 karma Joined Jun 19, 2013, 5:56 PM MSc in Physics PhD Researcher in Logic and Automated Reasoning