Masaki Waga
Assistant Professor at Kyoto University
Kyoto, Japan
Summary
👤
Senior🎓
Top SchoolMasaki Waga is an assistant professor at Kyoto University with 26 years of experience at the intersection of software engineering and formal methods for real-time and cyber-physical systems. His work spans academia and industry, including research roles at NII and UTokyo focused on runtime verification and monitoring of real-time systems, and a software engineering stint building Cloud LaTeX. Supported earlier by a JSPS DC1 fellowship and currently completing a Ph.D. at Sokendai, he combines rigorous theoretical foundations with practical system-building. Active on Mastodon for research updates and maintaining a comprehensive publications list on his lab page, he favors deeper scholarly engagement over frequent LinkedIn updates. Colleagues can expect a researcher-engineer who translates formal metamathematical ideas into deployable monitoring tools.
26 years of coding experience
4 years of employment as a software developer
Master of Science (MSc), Computer Science, Master of Science (MSc), Computer Science at 東京大学Ph.D., Information Science/Studies, Ph.D., Information Science/Studies at Sokendai
Japanese, Chinese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (98)
model-based-testing10
steamvr10
kinect10
openvr10
cps10
automata10
simulink10
pong9
phonetics9
lexical-analysis9
matching9
dfa9
timed8
latex8
regular-expression8
Programming languages (18)
Github contributions (5)
MasWag/ParamMONAA
Jul 2019 - Apr 2022
Contributions:12 commits, 8 pushes in 2 years 9 months
MasWag/dockerfiles
Feb 2017 - Oct 2024
Contributions:46 pushes, 1 branch in 7 years 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.