5 free lookup(s).
Doctor of Philosophy (PhD) (Automated Theorem Proving and Algorithmic Algebraic Geometry)
2007-2011Master Class (Mathematical Logic)
2006-2007Bachelor of Arts (BA) (Mathematics)
2001-2007Find contact details for 700 million professionals.