Alexander Gerasimov
My new site is

Russian version

PhD (Candidate of Sciences in Russian) in Computer Science

Email: Alexander dot S dot Gerasimov at ya dot ru

Areas of interest

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