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