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.”