徐永森 1938年9月生,计算机科学与技术系教授。主要研究方向:软件工程,软件语言,软件理论。
主要代表成果:1.NUSL:An Executable Specification Language Based on date Abatraction,Lecture Notes in Computer Science 328, Springer-Verlag.;2.Diverse Executable Semantics Definifions in NUSL and an Implementation of Functional Types, ACM SIGPLAN NOTICES, Vo1.25, No.5.