Ph.D. (Engineering) Tokyo Institute of Technology
2023 - : Japan Advanced Institute of Science and Technology , Research Center for Advanced Computing Infrastructure , Associate Professor
2020 - 2023 : Japan Advanced Institute of Science and Technology , Research Center for Advanced Computing Infrastructure , Senior Lecturer (Junior Associate Professor)
2015 - 2020 : Japan Advanced Institute of Science and Technology , Research Center for Advanced Computing Infrastructure , Assistant Professor
2013 - 2015 : Tokyo Institute of Technology , Graduate School of Information Science and Engineering , Researcher
Software, Mathematical informatics, Biological, health, and medical informatics
Software Engineering, Formal Methods, Verification, Model Checking, Program Synthesis, Test Generation, Reactive Systems, Model-Based Development, In-Vehicle Systems, Formal Languages, Automata Theory, Temporal Logic, Probability and Statistics
Information Processing Society of Japan (IPSJ), Association for Computing Machinery (ACM), Institute of Electrical and Electronics Engineers (IEEE), Japanese Society for Bioinformatics (JSBi), Japan Society for Software Science and Technology (JSSST)
PC member , WCTP (Workshop on Computation: Theory and Practice)
PC member , BIOINFORMATICS (International Conference on Bioinformatics Models, Methods and Algorithms)
・ 善吾賞 , 青木 利晃, 川上 大介, 千田 伸男, 冨田 尭 , ソフトウェアテスト技術振興協会 , 2019
・ FOSE Young Researcher Award , 冨田 尭 , IEEE Computer Society Japan Chapter , 2015
・ 学生奨励賞 , 冨田 尭 , 日本ソフトウェア科学会 , 2012