Chana Weil-Kennedy presented the article “Parameterized Analysis of Immediate Observation Petri Nets”, a joint work with Javier Esparza and Mikhail Raskin, at Petri Nets’19 where it received the Best Paper Award.
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…
The PaVeS-group is excited to host Ahmed Bouajjani for his research visit at the TUM. Additionally, Philipp Meyer, Javier Esparza and Philip Offtermatt published the pre-print of their contribution to TACAS’19.
The PaVeS-Group is excited to announce the arrival of Fabian Reiter at our chair! Here is a short description of the research interests of our new member in his own words: I am interested in logic and formal models of distributed computing. One of my major goals is to contribute Read more…
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.
Today the PaVeS group founded the tradition of regular meetings. Additionally, we are very happy to officially welcome our student assistants Philip and Martin in PaVeS whom will acompany us through this research-adventure! To the latter we already owe this very webpage.
We welcome 5 new Ph.D. students in the PaVeS team: Stefan Jaax, Philipp Meyer, Christian Müller, Chana Weil-Kennedy, and Christoph Welzel.