Research

• 2024-present Independent security & formal methods researcher
• 2020-2023 Principal Research Scientist at Informal Systems
• 2019 Senior Research Scientist at Interchain Foundation
• 2018-2019 Researcher at Inria Nancy – Veridis Team
• 2011-2018 Researcher and assistant professor at TU Wien – Forsyte
• 2003-2011 PhD student and Researcher at Lomonosov Moscow State University

Research & open source projects

• Apalache: Symbolic model checker for TLA+ and Quint (2016-present)

Past research & open source projects

• Quint: Executable specification language (2021-2023)

• ByMC: parameterized model checker for threshold-guarded fault-tolerant distributed algorithms

• The project ICT-103 Apalache supported by the Vienna Science and Technology Fund

Publications

• See my publications at ORCID, dblp, Google Scholar, or Veridis page
• Habilitation thesis submitted to the Faculty of Inforfmatics of TU Wien in 2018, defended in October 2019.

Conference organization

• Co-Chair of CONCUR 2020 with Laura Kovacs
• More in my CV

PhD Alumni

• Dr.ⁱⁿ Marijana Lazić
• Dr. Thanh-Hai Tran
• Dr. Jure Kukovec

Academic and non-academic profiles:

• ORCID
• Google Scholar
• LinkedIn
• DBLP
• ResearchGate