袁崇义：教师个人介绍
袁崇义-教授-北京大学-
袁崇义，1941年生，山东人。1964年南京大学数学系毕业，入中科院数学所为研究生，1968年毕业留所。1975年改行学习计算机软件。1977年至1979年加拿大多伦多大学，滑铁卢大学进修软件开发。1984年至1990年期间4次共3+年访问西德GMD（国家研究中心）Petri教授的研究所，1992年底调入北京大学计算机系，教授，后任硕导、博导。主要研究方向：Petri网、工作流、软件语义正确性验证。2005年退休。在北大教授两门研究生软件理论课：Petri网和并行计算（形式语义）有4部Petri网专著。基于Petri网，首创程序语义正确性验证理论，以期替代统治软件工程已久的软件测试步骤。
