The PaVeS people welcome a new member, Roland Guttenberg, in their midst. Roland joined us as a PhD student. He describes his research interest in his own words as follows:
“Originally interested in Algebraic Geometry, a notoriously abstract part of algebra, I am excited to contribute my theoretical knowledge to a more practical field: Theoretical Computer Science, and in particular the verification and synthesis of population protocols.”
The PaVeS people are excited to host Ahmed Bouajjani on a research visit to the Chair of theoretical computer science of the Technical University of Munich.
A long time passed since the last news. This is, however, not due to a lack of activity but a lack of reporting. Thus, we use this post to report various publications from last year Read more…
In this year’s test-of-time awards of CONCUR the paper “Reachability Analysis of Pushdown Automata: Application to Model-checking” of Ahmed Bouajjani, Javier Esparza, and Oded Maler is recognized as “a breakthrough paper that opened the way Read more…