Institution. Kiev State University PhD alumni Andrei Paskevich andreipaskevichAssociate professor / Maître de conférences · Laboratoire Méthodes Formelles PhD advisorKonstantin Verchinine, Vladimir Donchenko PhD studentsLéon Gondelman PhDKiev State University tertium.org