Hacker News new | past | comments | ask | show | jobs | submit login
user:andrepd
created:June 19, 2013
karma:17817
about:MSc in Physics PhD Researcher in Logic and Automated Reasoning
submissions
comments
favorites