APLAS 2024
Tue 22 - Fri 25 October 2024 Kyoto
APLAS 2024 (series) / Masaki Waga
Masaki Waga

Registered user since Sat 12 Oct 2024

Name:Masaki Waga
Country:Japan
Affiliation:Kyoto University
Personal website: https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
GitHub: https://github.com/MasWag
Research interests:Runtime Verification, Automata Learning, Falsification, Model Checking

Contributions

Show activities from other conferences

APLAS 2024-profile
View general profile