andrepd

...joined 12 years ago, and has 19554 karma

submissions / comments / favourites

MSc in Physics PhD Researcher in Logic and Automated Reasoning