Twitter | Facebook | Linkedin | DBLP | Google Scholar | Microsoft Academic Search | Photo | Japanese version
The list of my publications, teaching, patents and the other activities are maintained on my page in researchmap.jp.
Kohei Suenaga is an associate professor at the Graduate School of Informatics (GSI), Kyoto University. He received his B.S., M.S., and Ph.D from University of Tokyoin 2003, 2005, and 2008 respectively. Before he joins GSI, he was an assistant professor of Hakubi Center of Advanced Research in Kyoto University (2012--2013), a postdoctoral fellow of the Japan Society for the Promotion of Science (2011--2012 and 2008--2009), a postdoctoral researcher at University of Lisbon (2010--2011), and a researcher at IBM Research Tokyo (2009--2010). His current research interest includes (semi)automated static verification of software and hybrid systems.