|
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.