andrepd

Created: 12 years ago
Karma: 18952
MSc in Physics PhD Researcher in Logic and Automated Reasoning