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