HAGIYA Masami

HAGIYA Masami is a Senior Professor at the Graduate School of Information Science and Technology, University of Tokyo. His research spans theoretical and practical aspects of computing, including software verification, molecular robotics, and DNA computing.

• Specialty: Computer science
• Research Themes: Analysis, verification, and synthesis of computational models

Research Interests focus on bridging formal methods with biochemical computation systems. His work integrates software engineering and mathematical logic to develop novel approaches in symbolic execution and runtime verification, while pioneering research in molecular robots and DNA-based computing architectures.

Scientific Awards include multiple Japanese government grants across diverse domains:

• Grant-in-Aid for Scientific Research (C) (2020-2022)
• Challenging Research (Exploratory) (2017-2020)
• Scientific Research on Innovative Areas (multiple projects 2012-2016)
• Scientific Research (B) (2014-2016)