Dr. Igor Valerievich Tarasyuk

Academic Degrees

• 1992 Bachelor's degree in Mathematics and Applied Mathematics with thesis "Transformation formulas of algebra AFP_2 into canonical form" (in Russian). Department of Mathematics and Mechanics, Novosibirsk State University (NSU), Novosibirsk, Russia.
• 1994 Master's degree in Mathematics and Computer Science with thesis "Equivalences on Petri nets" (in Russian). Chair of Computing Systems, Department of Mathematics and Mechanics, NSU.
• 1997 Candidate's grade in Physics and Mathematics (Ph.D. in Mathematics and Computer Science) with thesis "Equivalence notions for models of concurrent and distributed systems" (in Russian). Speciality code 05.13.11 (Mathematical and Programming Support for Computers, Computer Systems and Computer Networks). Specialized Council K 003.93.01, IIS SB RAS. See also Abstract of the Ph.D. thesis (in Russian), Slides on the Ph.D. thesis (in Russian) and Survey of the Ph.D. thesis (technical report in English).