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