Scholar
Kohei SUENAGA
Google Scholar ID: rwSrOdwAAAAJ
Kyoto University
Citations & Impact
Citations
335
H-index
10
i10-index
12
Publications
20
Co-authors
23
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Latest publications:
- - 'Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis'
- - 'CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction'
Research Experience
- Associate Professor at the Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University; Associate Professor at the Department of Computer Science, School of Engineering, Kyoto University.
Background
- Research focuses on formal verification methods, with particular emphasis on hybrid systems, smart contracts, and machine learning interpretability. Passionate about developing practical verification techniques that bridge the gap between theoretical foundations and real-world applications.
