September 1, 2021: CL welcomes Manuel Eberl as new member

Manuel joins the CL-team as post-doctoral researcher. He is a well known Isabelle user and one of the editors of the archive of formal proofs.

June 17, 2021: Yutaka Nagashima defends his PhD thesis

Yutaka Nagashima successfully defended his PhD thesis “Artificial Intelligence and Domain-Specific Languages for Interactive Theorem Proving”. He joined Yale-NUS as a Research Associate.