Kohei Suenaga

Twitter | DBLP | Google Scholar | Microsoft Academic Search | Photo | Japanese version

He was born in 1979. He received his B.S., M.S., and Ph.D from University of Tokyo in 2003, 2005 and 2008 respectively. He received the title of "Hakubi Researcher" from Kyoto University in 2012. He is an associate professor at Graduate School of Informatics, Kyoto University. His current research interest includes (semi-)automated verification of software and hybrid systems based on formal methods.

List of publications

Current projects

Past projects