Username: andrepd About:
MSc in Physics PhD Researcher in Logic and Automated Reasoning
 Joined HN: 11 years ago Karma: 17539