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