.jpg)
Shigeki Hagihara
Associate Professor, Doctor of Engineering
- Department
- Information Systems Engineering
- Faculty
- Science and Technology
- Fields
-
- ＃Computer science
- ＃Software engineering
- Fields of Specialization
-
- ⚫︎Formal methods
- ⚫︎Software engineering
- ⚫︎Information security
- ⚫︎Applied logic
Research achievements
Research MapAcademic background
Graduated from Department of Computer Science, Faculty of Engineering, Tokyo Institute of Technology
Completed Doctoral Program at Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
Current research themes
- Research on how to construct dependable software and protocols that are not vulnerable to attacks by using mathematical approaches called formal methods