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…