Andrei Paskevich
Original record- Institution
- Kiev State University
- Year
- 2005
- Country
- Ukraine
- MGP identifier
- 173481
Dissertation: Methods of Formalization of Mathematical Knowledge and Reasoning: Practical and Theoretical Aspects
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Vladimir Stepanovich DonchenkoInstitute of Mathematics, Ukrainian Academy of Science · 1977
- Konstantin Petrovich VerchinineInstitute of Cybernetics, National Academy of Sciences of Ukraine · 1982
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Martin Clochard | Université Paris-Sud XI - Orsay and Université Paris-Saclay | 2018 | 0 |
| Claire Dross | Université Paris-Sud XI - Orsay | 2014 | 0 |
| Quentin Garchery | Université Paris-Saclay | 2022 | 0 |
| Léon Gondelman | Université Paris-Saclay | 2016 | 0 |