徐永森

发布时间:2016-08-18浏览次数:2549

照片
徐永森  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.
电话:83686536个人主页:http://电子邮件:powerxu#nju.edu.cn