News
April 1, 2015: CL welcomes Akihisa Yamada as new member
Akihisa works as a researcher on the project “Certifying Termination and Complexity Proofs of Programs.“
Akihisa works as a researcher on the project “Certifying Termination and Complexity Proofs of Programs.“