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
Fundamental Mathematics for Information Science, Formal Languages and Automata, Fundamentals of Computer Systems and AI
Institute of Electronics, Information and Communication Engineers, 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