[1]
中国计算机学会理论计算机科学专业委员会委员
[2]
中国计算机学会形式化方法专业组首批委员
[3]
中国计算机学会教育专业委员会委员
[4]
吉林省计算机学会理事
学位:博士
性别:男
毕业院校:吉林大学
学历:博士研究生毕业
在职信息:在职
所在单位:计算机科学与技术学院、网络安全学院
[1]
中国计算机学会理论计算机科学专业委员会委员
[2]
中国计算机学会形式化方法专业组首批委员
[3]
中国计算机学会教育专业委员会委员
[4]
吉林省计算机学会理事