Tomita Lab - JAIST

News / Research / Call / Faculty

This is a web page of Tomita Lab in Japan Advanced Institute of Science and Technology (JAIST).

2023.Sept.: Our project "Formal Methods and Verification Tools for Next-generation Automotive System Platforms" (Director: Prof. Aoki, Collaborators: Assoc. Prof. Ishii and Tomita, Term: Oct2023-Mar2029) was accepted as a project in CREST [Society 5.0 System Software].
2023.Apr.: Tomita Lab opened.