About

Biography

I am an Associate Professor at the Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, and Department of Computer Science, School of Engineering, Kyoto University, specializing in formal verification methods for various systems. While primarily focusing on formal verification, I engage in diverse research activities spanning multiple areas of computer science.

My research interests include formal verification, type systems, program analysis, smart contract security, machine learning interpretability, and hybrid system verification. I am passionate about developing practical verification techniques that bridge the gap between theoretical foundations and real-world applications.

Kohei Suenaga

Education

  • 2008

    Ph.D. in Information Science and Technology

    The University of Tokyo

    Department of Computer Science, Graduate School of Information Science and Technology

  • 2005

    Master's Degree

    The University of Tokyo

    Department of Computer Science, Graduate School of Information Science and Technology

  • 2003

    Bachelor's Degree

    The University of Tokyo

    Department of Information Science, Faculty of Science

Career History

  • Present

    Associate Professor

    Kyoto University, Department of Communications and Computer Engineering, Graduate School of Informatics / Department of Computer Science, School of Engineering

  • Previous

    Designated Assistant Professor

    Kyoto University, Hakubi Center for Advanced Research

  • Previous

    JSPS Research Fellow (PD)

    Japan Society for the Promotion of Science

  • Previous

    Postdoctoral Researcher

    University of Lisbon, Faculty of Science

  • Previous

    Researcher

    IBM Tokyo Research Laboratory

Professional Memberships

  • Japan Society for Software Science and Technology
  • Information Processing Society of Japan
  • Association for Computing Machinery (ACM)

Full CV

For a complete curriculum vitae, please contact me.