Kengo Kido (木戸 肩吾)

• 3rd-year Ph.D. student in Department of Computer Science,
  Graduate School of Information Science and Technology,
  The University of Tokyo.
• Supervisor: Prof. Naoki Kobayashi
• Daily supervision is subcontracted to: Dr. Ichiro Hasuo
• Office: ERATO Hasuo Project, Palace Side Building 3F, Hitotsubashi 1-1-1, Tokyo 100-1003, Japan
• Email: k-kido [at] is.s.u-tokyo.ac.jp

Research Interests

• Formal verification of hybrid systems
• Nonstandard analysis

Publications and Theses

• Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo.
  Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
  Proc. VMCAI 2016, LNCS 9583, p. 229-249.
  [lncs | extended version at arXiv]
• Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo.
  Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
  Preprint, 2015.
  [pdf]
• Kengo Kido.
  Nonstandard Abstract Interpretation with Infinitesimals for Hybrid Systems.
  MSc thesis, University of Tokyo, 2015.
• Kengo Kido.
  An Alternative Denotational Semantics for an Imperative Language with Infinitesimals.
  BSc thesis, University of Tokyo, 2013.

Talks

• Abstract Interpretation with Infinitesimals.
  VMCAI 2016, St. Petersburg FL, USA. Jan. 18, 2016.
  [slides]
• Abstract Interpretation with Infinitesimals.
  SNR 2015, San Francisco CA, USA. Jul. 19, 2015.
  [extended abstract | slides]
• Integrability in Nonstandard Modeling of Hybrid Systems.
  POPL OBT 2014, San Diego CA, USA. Jan. 25, 2014.
  [extended abstract | slides]

Visited Conferences, Workshops and Summer Schools

• POPL 2016 and VMCAI 2016, St. Petersburg FL, USA, 2016
• CAV 2015 and SNR 2015, San Francisco CA, USA, 2015
• ICALP 2015 and LICS 2015, Kyoto, Japan, 2015
• Summer School on Cyber-Physical Systems 2014, Grenoble, France, 2014
• POPL 2014 and POPL OBT 2014, San Diego CA, USA, 2014
• SLAGICS 2013 (ALGI and SLACS Join Forces), Kyoto, Japan, 2013
• 30th JSSST Annual Conference, Tokyo, Japan, 2013

Reserch Visits

• Stay at University of Waterloo, ON, Canada (Oct. 15, 2016 – Mar. 23, 2017) to work with Prof. Krzysztof Czarnecki
• Stay at École normale supérieure, France (Jan. 28, 2016 – Feb. 28, 2016) to work with Dr. Xavier Rival
• Stay at Kyoto University, Japan (Feb. 18, 2015 – Mar. 17, 2015) to work with Dr. Kohei Suenaga
• Stay at Rice University, TX, USA (May 12, 2014 – Jul. 4, 2014) to work with Dr. Swarat Chaudhuri

Tools

• Our prototype implementation of nonstandard abstract interpreter can be downloaded from here (you need Mathematica on your computer.)

Teaching Experiences

• Teaching assistant for Information Logic class (Apr. 2013 – Jul. 2013)

Last update: Dec 11, 2017