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…

Arrival of Michael Raskin

The PaVeS-Group is very happy to welcome Mikhail Raskin in its midst!  He has diverse previous experience (both theoretical and applied), and often uses combinatorial and probabilistic constructions to prove theoretical CS statements.