News
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.
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.