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