Andrei Paskevich


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

Click here to see the students listed in chronological order.

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

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.