大學(xué)
1960年5月-1965年2月，在上海復(fù)旦大學(xué)數(shù)學(xué)系學(xué)習(xí)。
1980年7月-1981年7月，在美國坦福大學(xué)、舊金山大學(xué)進修。
1965年3月-1985年7月，在華東師范大學(xué)擔(dān)任助教、講師。
1984年12月-1998年7月，在英國牛津大學(xué)擔(dān)任客座教授、高級研究員。
1986年8月，擔(dān)任華東師范大學(xué)教授。
1995年8月，擔(dān)任華東師范大學(xué)博士生導(dǎo)師。
1996年08月，擔(dān)任上海交通大學(xué)兼職教授、博士生導(dǎo)師。
1998年7月，擔(dān)任聯(lián)合國大學(xué)國際軟件技術(shù)研究所高級研究員。
1998年8月，擔(dān)任南京大學(xué)兼職教授、博士生導(dǎo)師。
2001年11月，擔(dān)任華東師范大學(xué)軟件學(xué)院院長。
2003年5月，擔(dān)任浙江大學(xué)兼職教授、博士生導(dǎo)師。
2005年，被評為中科院院士。
2014年10月，受聘為上海農(nóng)業(yè)物聯(lián)網(wǎng)首席專家。
2016年，受聘為華東師范大學(xué)終身教授、計算機科學(xué)與軟件工程學(xué)院院長。
1985年，榮獲電子工業(yè)部軟件一等獎。
1986年，榮獲上海市科技進步一等獎。
1988年，被譽為國家有突出貢獻中青年專家。
1989年，榮獲英國先進技術(shù)女皇獎。
1993年，榮獲英國先進技術(shù)女皇獎。
2000年，榮獲上海市科技進步一等獎。
2002年，榮獲國家自然科學(xué)二等獎。
