Russian version
PhD (Candidate of Sciences in Russian) in Computer Science
Email: Alexander dot S dot Gerasimov 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 PhD thesis
"Design and implementation of a proof search algorithm 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