Kohei Suenaga

J-GLOBAL         Last updated: Jul 25, 2017 at 22:36
 
Avatar
Name
Kohei Suenaga
Alternative names
KS737006
Affiliation
Kyoto University
Twitter ID
ksuenaga

Published Papers

 
Efficient Online Timed Pattern Matching by Automata-Based Skipping
Masaki Waga, Ichiro Hasuo, and Kohei Suenaga
Formal Modeling and Analysis of Timed Systems (LNCS)   10419 1-20   Sep 2017   [Refereed]
Kensuke Kojima, Minoru Kinoshita, and Kohei Suenaga
Static Analysis -- Proceedings of SAS 2016   9837 278-299   Sep 2016   [Refereed]
Tatsuya Sonobe, Kohei Suenaga, and Atsushi Igarashi
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, LNCS   8858 58-77   Nov 2014   [Refereed]
K. Suenaga; H. Sekine; I. Hasuo
Conference Record of the Annual ACM Symposium on Principles of Programming Languages   417-430   2013   [Refereed]
I. Hasuo; K. Suenaga
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   7358 LNCS 462-478   2012   [Refereed]

Conference Activities & Talks

 
Efficient Online Timed Pattern Matching by Automata-Based Skipping
Masaki Waga, Ichiro Hasuo and Kohei Suenaga
15th International Conference on Formal Modelling and Analysis of Timed Systems   5 Sep 2017   
Sharper and Simpler Nonlinear Interpolants for Program Verification
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo
Workshop on Formal Approaches to Explainable VERification (FEVER 2017)   23 Jul 2017   
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis
Kohei Suenaga
SAS 2016   8 Sep 2016   
An Extended Behavioral Type System for Memory-Leak Freedom
Qi Tan, Kohei Suenaga, and Atsushi Igarashi
7 Sep 2016   
Formal verification of software, continuous, and hybrid systems -- Or: How do we verify our program is correct?
Kohei Suenaga
Machine Learning Summer School 2015   27 Aug 2015   

Awards & Honors

 
Jun 2012
Ordered types for stream processing of tree-structured data. Journal of Information Processing, Journal of Information Processing Outstanding Paper Award, IPSJ
Winner: Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
 

Research Grants & Projects

 
Formal methods for hybrid systems based on the theory of nonstandard programming languages
JST: PRESTO
Project Year: Oct 2015 - Mar 2018    Investigator(s): Kohei Suenaga

Patents

 
Hiroaki Nakamura, Hisashi Miyashita, and Kohei Suenaga
特許8766980 : Information management system, method and program
Hisashi Miyashita, Hiroaki Nakamura, Kohei Suenaga

Academic & Professional Experience

 
Oct 2013
 - 
Today
Associate Professor, Graduate School of Informatics, Kyoto University
 
Apr 2012
 - 
Sep 2013
Assistant Professor, The Hakubi Center for Advanced Research, Kyoto University
 
Feb 2011
 - 
Mar 2011
Program-specific Researcher, Graduate School of Informatics, Kyoto University
 
Apr 2010
 - 
Jan 2011
Investigador pos-doutorado, Faculdade de Ciencia, Universidade de Lisboa
 
Apr 2009
 - 
Mar 2010
Researcher, IBM Research, Tokyo, IBM
 

Association Memberships

 
 

Others

 
Apr 2014   Collaboration with a car company
I am collaborating with a car company on application of formal methods to car design.

Research Areas