Alexander Gerasimov

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

• applications of logic to computer science
• classical and many-valued logics
• automated theorem proving
• representation of fuzzy knowledge

My teaching responsibilities include courses in

• matematical logic,
• automated theorem proving,
• formal language theory,
• programming.