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 class of symmetric algorithms in an asynchronous environment, where every process counts the number of its received messages and compares it to so-called thresholds. Examples of such algorithms include fault-tolerant broadcast, non-blocking atomic commitment, and consensus.
My goal is to develop techniques for PaVeS of a larger class of FTDAs.”