基本介紹
- 中文名：傅育熙
- 國籍：中國
- 職業：教師
- 畢業院校：同濟大學，英國曼徹斯特大學
- 主要成就：1997年度上海市優秀青年教師
- 研究方向：計算機科學（類型理論及其語義）
- 職稱：教授
人物經歷,主講課程,研究方向,主要貢獻,獲獎記錄,
人物經歷
1994年1月至今在上海交通大學計算機科學與工程系工作。
計算機科學與工程系主任、軟體學院院長、上海高校軟體理論研究中心主任、中國計算機學會理事。
教育部高等學校計算機科學與技術教學指導委員會專業教學指導分委員會委員。
上海市計算機學會學術委員會副主任。
上海市計算機學會人工智慧與理論專業委員會主任。
Asian Association for Foundation of Software (AAFS) 的executive member和founding member
The CUE (China-USA-Europe) initiative on “The Scientific Foundations of Informatics as an Engineering Discipline”的Steering Committee的中國成員、上海市計算機行業協會副會長。
主講課程
研究方向
類型理論及其語義、理論計算機科學、並行理論、進程演算、進程代數、類型理論、程式邏輯、程式語義、Chi-演算、進程演算及其套用、新型計算模型及程式語言。
主要貢獻
論文題為“類型理論中的語義問題”，考官由著名數理邏輯學家兼計算機科學家Peter Aczel和著名數學家兼計算機科學家Martin Hyland擔任。1993年，曼徹斯特大學計算機系當研究助理，參與研究歐共體項目“CLICS-II”。
國家八六三：新型邏輯框架和新型計算模型。
國家自然科學基金(青年)：邏輯類型理論的語義及其套用。
國家八六三：並發計算的元模型。
國家自然科學基金：並發計算模型CHI-演算的理論研究。
國家自然科學基金：內類型理論。
教育部資助優秀青年教師：基本並發計算模型的理論研究。
高等學校骨幹教師資助計畫：元並發模型的理論研究。
教育部博士點基金：並發計算模型CHI-演算的互模擬格理論。
上海市科委重點項目：格線計算中的算法、驗證及模型研究。
國家傑出青年科學基金：計算機科學技術的基礎理論。
八六三重點項目：個人信息處理終端SoC2
