Start of main content

Dmitry Mordvinov

JetBrains Research

Dmitry Mordvinov

Dmitry Mordvinov is a researcher in JetBrains Research and senior lecturer at Saint-Petersburg State University. He graduated in 2013 from Saint-Petersburg State University and got his Ph.D. in 2021 in A.P. Ershov Institute of Informatics Systems. From 2019, he leads the formal verification group in the Programming Languages and Tools Lab in JetBrains Research. His work is focused on the theory and practice of symbolic execution engines and automated inductive invariants inference. His research interests include software verification, symbolic execution, type theory, and model theory.