Short Bio as of 21st Feb. 2024

Masaki Waga, Ph.D., is an Assistant Professor at the Graduate School of Informatics, Kyoto University, Japan. He recieved his Ph.D. in Informatics from the Graduate University for Advanced Studies (SOKENDAI), Tokyo, under the supervision of Prof. Ichiro Hasuo, receiving the Dean's Award in 2020 for his doctoral research. His work focuses on formal methods for cyber-physical and AI systems, spanning automata theory, runtime verification, testing, and model checking. He is a recipient of best paper awards at ICECCS 2018 (jointly with Étienne André and Ichiro Hasuo) and FORMATS 2019 (also known as the Oded Maler award); a JST ACT-X researchership (2020--2023); a JST PRESTO researchership (2022--2026).