andrepd
has 19195 karma and joined 13 years ago
submissions
/
comments
/
favourites
MSc in Physics PhD Researcher in Logic and Automated Reasoning