Background color
Font size

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

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
PAGE TOP