Marijana Lazić

  • Project Assistant, MSc
  • TU Wien
  • Institute of Logic and Computation 192/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

Research Interests

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

Current Position



  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.


  • 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