曹永知，博士，教授，IEEE Senior member. 2003年8月至2007年6月在清华大学计算机系智能技术与系统国家重点实验室及经济管理学院管理科学与工程系做博士后研究；2007年6月入职北京大学信息科学技术学院软件研究所。目前主要从事形式化方法及其应用研究，包括移动系统，Petri网，形式语言与自动机理论及其在离散事件系统、智能商务和不确定性推理中的应用等。在IEEE Trans. Comput., IEEE Trans. Autom. Contr., IEEE Trans. Syst., Man, Cybern.—Part B: Cybern., IEEE Trans. Fuzzy Syst., J. Comput. Syst. Sci., Theor. Comput. Sci.等杂志发表学术论文30余篇，其中SCI国际期刊论文20余篇。作为项目负责人主持国家自然科学基金面上项目3项。系国家级精品课“离散数学”课程主讲教师，多年主讲离散数学2-代数结构与组合数学。