David Lehnherr
Cryptology and Data Security Group
Institute of Computer Science
University of Bern
Neubrückstrasse 10
3012 Bern, Switzerland
Office 109
david.lehnherr@unibe.ch
About
I recently graduated under the supervision of Professor Cachin and Professor Studer. My thesis “Simplicial Structures for Epistemic Reasoning in Multi-agent Systems”, explores how combinatorial topology and modal logic can be combined to model distributed computations.