Andrei Paskevich

MathSciNet


Ph.D. Kiev State University 2005 Ukraine
Dissertation: Methods of Formalization of Mathematical Knowledge and Reasoning: Practical and Theoretical Aspects
Mathematics Subject Classification: 68—Computer science

Advisor 1: Konstantin Petrovich Verchinine
Advisor 2: Vladimir Stepanovich Donchenko

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Dross, ClaireUniversité Paris-Sud XI - Orsay2014
Gondelman, LéonUniversité Paris-Saclay2016
Clochard, MartinUniversité Paris-Sud XI - Orsay and Université Paris-Saclay2018
Garchery, QuentinUniversité Paris-Saclay2022

According to our current on-line database, Andrei Paskevich has 4 students and 4 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 173481 for the advisor ID.