andrepd

Created:11 years agoKarma: 17495
MSc in Physics PhD Researcher in Logic and Automated Reasoning