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!