Andrei Paskevich
Ph.D. Kiev State University 2005
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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Clochard, Martin | Université Paris-Sud XI - Orsay and Université Paris-Saclay | 2018 | |
| Dross, Claire | Université Paris-Sud XI - Orsay | 2014 | |
| Garchery, Quentin | Université Paris-Saclay | 2022 | |
| Gondelman, Léon | Université Paris-Saclay | 2016 |
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.