---

• I am now a postdoc at the Chair for Foundations of Software Reliability and Theoretical Computer Science at TU Munich, working in the group of Javier Esparza, within the ERC-supported project PaVeS, since June 2019.

---

• Web Page: https://www7.in.tum.de/~lazic/

---

Research Interests

• Formal methods, Parameterized Model Checking, Verification and Synthesis of Fault Tolerant Distributed Algorithms, Knowledge and Topology in Distributed Computing

---

Former Position

• Until 2019 I was a PhD student fully funded by the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in February 2015 under the supervision of Helmut Veith. My current supervisor is Josef Widder and I have been co-supervised by Igor Konnov and Roderick Bloem. I am also a project assistant in the Formal Methods in Systems Engineering group (FORSYTE).

---

Education

• MSc in Mathematics (University of Novi Sad), master thesis: Power Structures and Multialgebras (in Serbian), September 2012
• BSc in Mathematics (University of Novi Sad)

---

Publications

1. M. Lazić, I. Konnov, J. Widder, R. Bloem, Synthesis of Distributed Algorithms with Parameterized Threshold Guards [bibtex], OPODIS, 2017.
2. I. Konnov, M. Lazić, H. Veith, J. Widder, Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms [bibtex][pdf], in: Formal Methods in System Design, Springer, 2017.
3. I. Konnov, M. Lazić, H. Veith, J. Widder, A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms [pdf][bibtex][preprint+proofs], in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pages 719-734, 2017.
4. E. Aichinger, M. Lazić, N. Mudrinski, Finite generation of congruence preserving functions [pdf][doi][bibtex], in: Monatshefte für Mathematik, volume 181, pages 35–62, 2016.

---

Awards

• Zonta Club Wien 1 mobility grant for female researchers, 2016

---

Research Visits

• Oct. 2016—Dec. 2016: Prakash Panangaden and Vijay D’Silva, Simons Institute for the Theory of Computing, University of California, Berkeley
• Jun. 2017—Jul. 2017 and Nov. 2017—Dec. 2017: Yoram Moses, Technion, Israel Institute of Technology, Haifa, Israel