京城名师培训网
计算机软件专家,主要从事软件方法学研究。1960年3月31日出生于江苏省南京市。1982年毕业于南京大学计算机系,1984年获该校硕士学位,1988年获该校博士学位。2013年当选为中国科学院院士。
手机:13811229543 电话:13811229543