Ph.D. degree for David Lehnherr

David Lehnherr has successfully defended his Ph.D. thesis on 8 December 2025; the thesis is titled “Simplicial Structures for Epistemic Reasoning in Multi-agent Systems”. As the title reveals, this work is truly interdisciplinary and relates to logic and to distributed computing, spanning the fields between the research groups on Logic and Theory and Distributed Computing and Cryptography.

As external examiner Hans van Ditmarsch joined from CNRS, IRIT, University of Toulouse.

Congratulations!