Arrival of Marijana Lazić

The PaVeS people are very pleased to announce the arrival of a new member, Marijana Lazić! Marijana describes her research interests in her own words as follows: “I am interested in parameterized model checking and synthesis of fault-tolerant distributed algorithms (FTDAs). During my PhD studies I was focusing on a Read more…