News

1 November 2025: CL welcomes Arnab Roy and Luca Campa

Assistant Professor Arnab Roy and his PhD student Luca Campa join CL to work on security and cryptography related topics. Welcome!

24 October 2025: Jonas Schöpf defends his PhD thesis

Jonas Schöpf successfully defended his PhD thesis on “Automated Analysis of Logically Constrained Rewrite Systems.” Congratulations!

10 October 2025: Christina Kirk defends her PhD thesis

Christina Kirk successfully defended her PhD thesis on “Formalizing Confluence Criteria in Term Rewriting Using Proof Terms.” Congratulations!

29 July 2025: Aart Middeldorp receives two prestigious research awards

In this year at the CADE conference, Aart Middeldorp was awarded with both the Herbrand Award and the in combination with Nao Hirokawa, he also received the Thoralf Skolem Award.