Masaki Waga

Assistant Professor, Kyoto University, Tokyo Institute of Technology

  • Joined September 2024

Names

Masaki Waga (Preferred)

Emails

****@fos.kuis.kyoto-u.ac.jp (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Kyoto University, Tokyo Institute of Technology (kyoto-u.ac.jp)
2020 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
2015 – 2020
 

Expertise

Runtime verification
2016 – Present
 
Timed Automata
2016 – Present