王兵山，国防科技大学教授，1964年毕业于复旦大学数学系，获学士学位，主要从事计算机科学理论领域的教学与研究。获“全国优秀教师”、“国家有突出贡献的中青年专家”等荣誉称号，享受政府特殊津贴。已出版专注包括《离散数学》、《形式语言》等。毛晓光，国防科技大学教授，1997年于国防科技大学获博士学位，主要研究方向为形式化方法，软件工程，获军队育才银奖，已出版《离散数学》等教材。刘万伟，国防科技大学讲师，2009年毕业于国防科技大学计算机学院，获博士学位，主要研究方向为时序逻辑与自动机理论。