Daisuke Ishii

(日本語の研究室ページ)

I am an associate professor at School of Information Science, Japan Advanced Institute of Science and Technology (JAIST). Before that, I have been working as a researcher in several places such as University of Fukui, Tokyo Institute of Technology, National Institute of Informatics, INRIA Saclay, University of Nantes, Waseda University and Toshiba.

I completed my PhD in Computer Science at Waseda University at Tokyo, under the supervision of Professor Kazunori Ueda.

I am interested in the verification of cyber-physical systems or hybrid systems that consist of discrete and continuous changes over time. The scope of my research includes interval constraint programming and formal methods for hybrid systems.


Call for students!

Contact

  • Email: dsksh(a)acm(d)org
  • Address: 1-1 Asahidai, Nomi, Ishikawa, 923-1292 Japan
  • Tel: +81-761-51-1260

Career

  • 10/2019 – present: Associate Professor, Japan Advanced Institute of Science and Technology (JAIST)
  • 12/2018 – 09/2019: Associate Professor, University of Fukui
  • 12/2015 – 11/2018: Lecturer, University of Fukui
  • 04/2016 – 03/2017: Part-time Lecturer, Tokyo Institute of Technology
  • 04/2013 – 11/2015: Assistant Professor, Tokyo Institute of Technology
  • 04/2011 – 03/2013: JSPS Research Fellow (postdoc); Visiting Researcher, National Institute of Informatics
  • 04/2011 – 12/2011: Visiting Researcher, INRIA Saclay - Île-de-France
  • 04/2010 – 03/2011: Expert Engineer (postdoc), INRIA Paris-Rocquencourt, LINA, University of Nantes
  • 04/2010 – 03/2011: Visiting Researcher, Waseda University
  • 04/2007 – 03/2010: Research Associate, Department of Computer Science and Engineering, Waseda University
  • 04/2004 – 03/2006: Research Engineer, Toshiba Corporation

Research Activities

International conferences/workshops

Domestic societies, etc.

  • 電子情報通信学会 システム数理と応用研究会 (MSS) 専門委員 (2015-)
  • 日本ソフトウェア科学会『コンピュータソフトウェア』編集委員 (2015-)
  • 日本ソフトウェア科学会 ディペンダブルシステム研究会 (DSW) 運営委員 (2016-)
  • 日本ソフトウェア科学会第34,35,36回大会 プログラム委員

Publication

Softwares

  • HySIA: an interval-based simulator/verifier for nonlinear hybrid systems
  • ICPX10: a parallel interval constraint solver using X10 GLB