Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Masami Hagiya


Referee for: D.1.1, D.1.6, D.3.1, F.1.1, F.3.1, F.3.2, F.4.1, I.2.2
Institution: University of Tokyo
Address: Department of Computer Science
Graduate School of Information Science and Technology
University of Tokyo
7-3-1 Hongo, Bunkyo-ku
Tokyo 113-0033
Japan
Home Page: http://nicosia.is.s.u-tokyo.ac.jp/members/hagiya.html

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