andrepd

Created: 11 years ago
Karma: 17132
MSc in Physics PhD Researcher in Logic and Automated Reasoning