Akihisa works as a researcher on the project “Certifying Termination and Complexity Proofs of Programs.“