教授 博士生导师
招生学科专业: 计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
性别:男
学历:清华大学
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
联系方式:13814535662
电子邮箱:99238c31c1669f1a6faf8e19688e1617f376042e2f5aaf8b37ba2631e2367bc84697d5062e85740f16f8d230bc4d40e4d97150638ae703a78dc2393d16d5288eccffe5338c08faa2fff171ac7acd1748a6fbbd3479d3ba17aeb8d2a400a246a698d78b722a754317151b5997c0ce892b837f61958c31fd81182383702f44c729
手机版
最后更新时间:..
目前研究软件工程中形式化建模与验证、计算机科学中的逻辑、智能软件工程等领域。