Dmitry Kondratyev (Preferred)
Dmitry Kondratyev
Pronouns: he/him
Lecturer, Department of Mathematics and Mechanics, Novosibirsk State University
Lecturer, Department of Information Technologies, Novosibirsk State University
Researcher, Laboratory of Theoretical Programming, A.P. Ershov Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences
- Joined December 2024
Names
Emails
****@mail.ru (Confirmed)
Personal Links
Career & Education History
Lecturer
Department of Mathematics and Mechanics, Novosibirsk State University (nsu.ru)
2024 – Present
Lecturer
Department of Information Technologies, Novosibirsk State University (nsu.ru)
2024 – Present
Researcher
Laboratory of Theoretical Programming, A.P. Ershov Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (iis.nsk.su)
2020 – Present
Researcher
The Artificial Intelligence Research Center of Novosibirsk State University, Novosibirsk State University (nsu.ru)
2024 – 2024
Intern
Laboratory of Theoretical Programming, A.P. Ershov Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (iis.nsk.su)
2013 – 2020
PhD student
Postgraduate department, A.P. Ershov Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (iis.nsk.su)
2015 – 2019
Instructor
Department of Mathematics and Mechanics, Novosibirsk State University (nsu.ru)
2017 – 2017
MS student
Department of Information Technologies, Novosibirsk State University (nsu.ru)
2013 – 2015
Undergrad student
Department of Information Technologies, Novosibirsk State University (nsu.ru)
2009 – 2013
Advisors, Relations & Conflicts
PhD Advisor
Alexei Promsky
2012 – 2022
Expertise
trustworthy ai
2023 – Present
neural network verification
2023 – Present
explainable artificial intelligence
2023 – Present
symbolic artificial intelligence
2023 – Present
hybrid intelligent system
2023 – Present
formal verification
2012 – Present
deductive verification
2012 – Present
Hoare logic
2012 – Present
formal specification
2012 – Present
automated theorem proving
2012 – Present