Personal Information:
Professor Supervisor of Doctorate Candidates graduate teacher
Academic Titles:" 华山学者"特聘教授
Teaching Research
- No content
- 计算机科学使用的数理逻辑 /2018-2019 /Autumn Term /48Required Class Hours /3.0Credits /Z11CS1006
- 计算机科学使用的数理逻辑 /2018-2019 /Autumn Term /48Required Class Hours /3.0Credits /X19CS1006
- 学业指导 /2018-2019 /Spring Term /16Required Class Hours /0.0Credits /TS000001
- 计算机科学使用的数理逻辑 /2017-2018 /Autumn Term /48Required Class Hours /3.0Credits /Z11CS1006
- 计算机科学使用的数理逻辑 /2017-2018 /Autumn Term /48Required Class Hours /3.0Credits /X19CS1006
- 协议工程 /2017-2018 /Spring Term /40Required Class Hours /2.5Credits /SE5021
- No content