[1]
中国计算机学会理论计算机科学专业委员会委员

[2]
中国计算机学会形式化方法专业组首批委员

[3]
中国计算机学会教育专业委员会委员

[4]
中国人工智能学会机器博弈专业委员会委员

[5]
吉林省计算机学会理事

[6]
吉林大学青年科技工作者协会会员