Dmitry Mordvinov

Dmitry heads the symbolic execution research group at Huawei and also lectures at St. Petersburg State University. Previously, he headed the formal methods group at JetBrains Research and also worked at several startups.