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.
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.
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, Read more…
The PaVeS group is proud to announce that our member Marijana Lazić is part of the Program Committee of CAV’21.