andrepd

has 19330 karma and joined 13 years ago

submissions / comments / favourites

MSc in Physics PhD Researcher in Logic and Automated Reasoning