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