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