Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Toshiaki Aoki

Registered user since Thu 20 Jun 2019

Name:Toshiaki Aoki
Country:Japan
Affiliation:JAIST
Research interests:Formal Methods, Formal Verification, Formal Specification, Model Checking, Theorem Proving, Testing, Automotive System, Autonomous Driving, Safety Critical Systems

Contributions

ICSE 2020 Programme Committee in Program Committee within the Software Engineering in Practice-track
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
Show activities from other conferences

ICSE 2020-profile
View general profile