|
Personal Information
More >>Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Main positions:软件学院、开云平台首页 -立命馆大学国际信息与软件学院副院长
Research Focus
- Trustworthy Software Technology: Enhance the reliability of software systems through utilizing formal techniques, e.g., interactive theorem proving or model checking.