 |
Masami Hagiya |
Curriculum Vitae:
- Education
- March 1980, B.Sc. from Department of Information Science, Faculty of Science, University of Tokyo.
- March 1982, M.Sc. from Department of Information Science, Graduate School of Science, University of Tokyo.
- April 1982, Research Associate, Research Institute for Mathematical Sciences, Kyoto University.
- March 1988, Doctor of Science from Kyoto University.
- Professional Experience
- October 1988, Associate Professor, Research Institute for Mathematical Sciences, Kyoto University.
- April 1992, Associate Professor, Department of Information Science, Faculty of Science, University of Tokyo.
- April 1993, Associate Professor, Department of Information Science, Graduate School of Science, University of Tokyo.
- November 1995, Professor, Department of Information Science, Graduate School of Science, University of Tokyo.
- April 2001, Professor, Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo.
Main Research Interests:
- automated deduction, formal verification and programming languages
- abstract model checking
- software model checking
- hybrid systems
- security protocol
- Java security
- user-interfaces for theorem provers (Boomborg Project)
- bio-computing
- Molecular Programming Project
- Molecular Memory Project
|
