Shigeki Hagihara, Associate Professor, Doctor of Engineering
Home > English > Undergraduate and graduate schools > Faculty members > Shigeki Hagihara, Associate Professor, Doctor of Engineering
| Department | Information Systems Engineering |
|---|---|
| Title/degree | Associate Professor/Doctor of Engineering |
Fields of Specialization
Formal methods, software engineering, information security, applied logic
Academic background
Graduated from the Department of Computer Science, Faculty of Engineering, Tokyo Institute of Technology
Completed the Doctoral Program at the Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
Completed the Doctoral Program at the 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
