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