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