Graduate School of Science, Chiba University
ProfessorPrograms are instructions for computers to perform computations. They are written by programmers, but discrepancies between a programmer’s intention and the actual behavior of the program—commonly known as bugs—often occur. My research focuses on exploring programming languages that can accurately express human intent and developing methods to ensure that programs behave as intended.
Recent Topics of Interest:
Theoretical aspects of program verification, Quantum superposition of programs, Causality theory in programs
Motto in Research or in Life: Strike while the iron is hot
