Alexander Gerasimov

Russian version

PhD (Candidate of Sciences in Russian) in Computer Science,
associate professor at Computer Science Department, Faculty of Mathematics and Mechanics, Saint-Petersburg State University,
associate professor at Department of Mathematical and Information Technologies, Saint Petersburg Academic University of Russian Academy of Sciences

Email: Alexander dot S dot Gerasimov at ya dot ru ; gas hyphen teach at ya dot ru

Areas of interest

My PhD thesis "Automation of deduction for an extension of infinite-valued predicate Lukasiewicz logic" (in Russian) was defended at Saint-Petersburg State University in 2007.
English translation of my thesis abstract

My teaching responsibilities include courses in

Information for students is on the Russian version of my page.