|
Personal Information
More >>Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Academic Titles:软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
Gender:Male
Alma Mater:Japan Advanced Institute of Science and Technology
Research Focus
- Trustworthy Software Technology: Enhance the reliability of software systems through utilizing formal techniques, e.g., interactive theorem proving or model checking.