人物簡介
繆淮扣(MIAO HUAI KOU)教授，男，1953年7月生于上海，江蘇淮陰人。
1986年畢業(yè)于上�？萍即髮W(xué)計算機(jī)科學(xué)系，獲計算機(jī)應(yīng)用工學(xué)碩士學(xué)位；并繼續(xù)留校工作。 1987年起任講師、副教授、教授、博士生導(dǎo)師；1988年至1991年期間任軟件教研室黨支部書記、軟件教研室副主任；1991年 至1998年期間任計算機(jī)科學(xué)系副系主任；現(xiàn)任上海大學(xué)計算機(jī)工程與科學(xué)學(xué)院副院長。
個人履歷
繆淮扣教授1992年10月至1995年1月由國家公派在 英國 York 大學(xué)做訪問學(xué)者。擔(dān)任中國軟件行業(yè)協(xié)會理事上海市南市區(qū)第四屆科協(xié)常委、上海市南市區(qū)計算機(jī)學(xué)會理事長， 上海市黃浦區(qū)第一屆 科協(xié)常委、上海市黃浦區(qū)計算機(jī)學(xué)會理事長�，F(xiàn)任上海大學(xué)學(xué)術(shù) 委員會委員、《應(yīng)用科學(xué)學(xué)報》等三個雜志 的編委，是享受政府特殊津貼的專家。
繆淮扣教授繆淮扣教授擅長人工智能、計算機(jī)軟件方法、軟件工程等。主要學(xué)術(shù)貢獻(xiàn)是邏輯程序設(shè)計、自動推理和軟件形式方法等。完成了近20多個國家級和上海市級科研項目。1990年、2003年兩次獲上海市科技進(jìn)步三等獎。發(fā)表 論文近百篇，出版著作7部。是ICFEM2002國際會議的程序主席，多次擔(dān)任國際會議的程序委員。已培養(yǎng)博士3人，碩士23人。1992年 獲霍英東教育基金會優(yōu)秀青年教師獎；1991年獲上海市高校優(yōu)秀青年教師稱號；1999年、2001年兩次獲上海市“育才”獎。
