Marijana Lazic completed her undergraduate and masters studies in mathematics of the University of Novi Sad, Serbia in 2012. To work closer to applications of algebra and mathematical logic, Lazic joined a PhD program in computer science. Since February 2015, she has been a PhD student in the doctoral program in Logical Methods in Computer Science, and a researcher in Helmut Veith's group Formal Methods in Systems Engineering at TU Wien, Austria. Lazic's research interests are in synthesis and model checking of fault-tolerant distributed algorithms. She is currently working on a technique for parameterized model checking of liveness properties of distributed algorithms. Examples of such algorithms are reliable broadcast, non-blocking atomic commit, and fast consensus. This technique is based on a small counterexample property that states that, despite parameterization, counterexamples have a predictable size and structure.