1960年5月(yue)-1965年2月(yue),在上海復旦大學(xue)數學(xue)系學(xue)習(xi)。
1980年7月-1981年7月,在美國坦福大(da)學、舊金山大(da)學進(jin)修。
1965年(nian)(nian)3月(yue)-1985年(nian)(nian)7月(yue),在華東師范(fan)大學擔任助(zhu)教、講師。
1984年(nian)12月-1998年(nian)7月,在英國牛津大(da)學(xue)擔(dan)任客(ke)座(zuo)教授、高級研究員。
1986年8月,擔(dan)任華(hua)東(dong)師范(fan)大學(xue)教授。
1995年8月(yue),擔任(ren)華(hua)東師范大學博士生導師。
1996年08月,擔(dan)任上海交通大學兼(jian)職教授、博士生(sheng)導師。
1998年(nian)7月(yue),擔任聯合國大學國際軟件技術研究所高級(ji)研究員。
1998年8月,擔(dan)任南京大學兼(jian)職教授、博士生導師(shi)。
2001年11月,擔任華東師范大學(xue)軟(ruan)件學(xue)院院長。
2003年5月,擔任浙江大(da)學(xue)兼(jian)職教授、博士生(sheng)導師。
2005年(nian),被評為中科(ke)院(yuan)院(yuan)士。
2014年(nian)10月,受聘(pin)為上海農業物聯(lian)網首席(xi)專家。
2016年,受聘為(wei)華東師(shi)范大學終身教(jiao)授、計算機科學與軟件工程學院院長。
1985年,榮(rong)獲(huo)電子工業部(bu)軟件一(yi)等獎。
1986年,榮獲上海市科技進步(bu)一等獎。
1988年(nian),被譽為(wei)國家(jia)有突出貢獻中青年(nian)專家(jia)。
1989年,榮獲英國先(xian)進技術女皇(huang)獎。
1993年(nian),榮獲英國先進技(ji)術女皇獎(jiang)。
2000年,榮獲上海市科技(ji)進步(bu)一等獎。
2002年,榮獲(huo)國家自然(ran)科學二等獎。