Masaki Waga (Preferred)
Masaki Waga
Assistant Professor, Kyoto University, Tokyo Institute of Technology
Joined
September 2024
Names
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
Expertise
Runtime verification
2016 – Present
Timed Automata
2016 – Present
Publications
Co-Authors
- Agnishom Chattopadhyay
- Alexandre Donzé
- Amit Gurung
- Aniruddh Chandratre
- Atanu Kundu
- Atsushi Kikuchi
- Atsuyoshi Saimen
- Benjamin Bray
- Chiao Hsieh
- Chihiro Taguchi
- Claudio Menghi
- Daichi Aiba
- Dawei Li
- Elena Gutiérrez
- Ezequiel Castellano
- Federico Formica
- Georgios Fainekos
- Gidon Ernst
- Giulia Pedrielli
- Go Kamoda
- Goran Frehse
- Hiroki Iseri
- Hiroya Fujinami
- Hiroyuki Deguchi
- Ichiro Hasuo