Watch recording
Talk
Symbolic execution in .NET: Automated tests generation, verification, and program synthesis
Dmitry Ivanov
Company: Huawei
Dmitry Mordvinov
Company: JetBrains Research
Dmitry Mordvinov
Company: JetBrains Research
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.