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