Daisuke Ishii

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

I am a full-time lecturer (equivalent of assistant professor) at Department of Information Science, University of Fukui. Before that, I have been working as a researcher in several places such as Tokyo Institute of Technology, National Institute of Informatics, INRIA Saclay, University of Nantes, Waseda Unversity, 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.

Contact

  • Email: dsksh(a)acm(d)org
  • Address: 3-9-1 Bunkyo, Fukui-shi, Fukui 910-8507
  • Tel: +81-776-27-8773

Career

  • 12/2015 – present: 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回大会 プログラム委員

Publication

Softwares

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