In October 2021, David Lehnherr has joined the team as a Ph.D. student. He graduated with a M.Sc. degree in Computer Science from the University of Bern in 2021. In his M.Sc. thesis he developed a logic of interactive proofs and is now looking into concurrency and cryptographic protocols in secure distributed systems.