B.S. from Science University of Tokyo(1994), M.S. and Ph.D. from Japan Advanced Institute of Science and Technology(1996, 1999)
2016 - : Japan Advanced Institute of Science and Technology , Graduate School of Advanced Science and Technology , Professor
2009 - 2016 : Japan Advanced Institute of Science and Technology , School of Information Science , Associate Professor
2006 - 2009 : Japan Advanced Institute of Science and Technology , Research Center on Trustworthy e-Society , Research Associate Professor
2001 - 2005 : 科学技術振興事業団 , さきがけ研究２１「機能と構成」領域 , 研究員
1999 - 2006 : Japan Advanced Institute of Science and Technology , School of Information Science , Associate
Software
Formal Method, Formal Verification, Automotive System, Software Testing, Software Engineering, Model Checking, Theorem Proving, Formal Specification
Principle of Software
Fundamental theories for software are studying for a long time. Some of them are getting matured such as program semantics and process algebra. To promise bright future of software, it is important to find the principles of software based on those theories. Unfortunately, today’s software is developed without such principles. We should change this style of software developments into more scientific ones which are integrated on the mathematics. Thus, we are challenging to establish such fundamental principles of software.
Formal Method/Formal Verification
Formal methods represent a development style of software based on
mathematics. We describe its specification and design in not natural
language but languages based on mathematical theories such as sets and
functions. That not only makes the specification and design rigorous but
also allows us to precisely analyze them, prove their correctness and
automatically generate source codes. One way to provide correctness with
software is that we describe it rigorously, then we prove its
correctness. That is called 'formal verification' of software. We are
researching how we can develop correct software effectively using the
formal methods and formal verification. Especially, we focus on embedded
systems and object-oriented design for their application targets.
Software Process Design for Highly Dependable Embedded Systems, Software Design Methodology, Transdisciplinary Session I, 高信頼組込みシステム開発プロセス設計, ソフトウェア設計論, 異分野「超」体験セッションⅠ, ソフトウェア検証論
Information Processing Society of Japan, The Institute of Electronics, Information and Communication Engineers, Japan Society for Software Science and Technology
International Workshop on Software Technologies for Future Dependable Distributed Systems , Workshop Co-Chair , 2009 , Waseda University
SPLC 2007 Doctoral Symposium , Symposium co-chair , 2007
情報処理学会 組込みシステムシンポジウム , プログラム委員長 , 2006 - 2006
・ 14th International Symposium on Theoretical Aspects of Software Engineering , PC chair 2020
・ 14th International Conference on Formal Engineering Methods , Program Co-Chair 2012 - 2012
・ 第十二回善吾賞 , 青木利晃, 川上大介, 千田伸男, 冨田尭 , ソフトウェアテスト技術振興協会 , 2019
・ Best Paper Award , Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki , 24th Asia-Pacific Software Engineering Conference , 2017
・ 山下記念研究賞受賞 , 青木利晃 , 情報処理学会 , 2006