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
Faculty	Science and Technology
Title/degree	Associate Professor, Doctor of Engineering

Fields of Specialization

Formal methods, software engineering, information security, applied logic

Academic 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