Hacker News
user:andrepd
created:19/6/2013
karma:19976
about:MSc in Physics PhD Researcher in Logic and Automated Reasoning