17 June 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.