ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Marijana Lazić

Registered user since Fri 28 Oct 2016

Name: Marijana Lazić

Bio: 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 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.

Country: Austria

Affiliation: TU Wien

Personal website: http://forsyte.at/people/lazic/

Research interests: Parameterized Verification, Distributed Algorithms

Contributions

MeTRiD 2019Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track
Show activities from other conferences

ETAPS 2019-profile
View general profile