
傅育熙
上海交通大学教授
个人简介
职称: 教授
所属学科: 软件与理论学科组
研究方向:计算机科学
职称: 教授
所属学科: 软件与理论学科组
研究方向:计算机科学
1986年毕业于同济大学计算机系,获工学学士学位。1988年由国家教委公派到英国曼彻斯特大学计算机系攻读博士学位,师从著名计算机科学家David Rydeheard, 研究方向为类型理论及其语义。1992年获博士学位,论文题为“类型理论中的语义问题”,考官由著名数理逻辑学家兼计算机科学家Peter Aczel和著名数学家兼计算机科学家Martin Hyland担任。1993年,曼彻斯特大学计算机系当研究助理,参与研究欧共体项目“CLICS-II”。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的中国成员
上海市计算机行业协会副会长
受奖励情况
1997年度上海市优秀青年教师
1999年度中创软件奖
2000年度国务院政府特殊津贴
2001年度上海交通大学横山亮次优秀论文奖一等奖
主持的科研项目
国家八六三:新型逻辑框架和新型计算模型
国家自然科学基金(青年):逻辑类型理论的语义及其应用
国家八六三:并发计算的元模型
国家自然科学基金:并发计算模型CHI-演算的理论研究
国家自然科学基金:内类型理论
教育部资助优秀青年教师:基本并发计算模型的理论研究
高等学校骨干教师资助计划:元并发模型的理论研究
教育部博士点基金:并发计算模型CHI-演算的互模拟格理论
上海市科委重点项目:网格计算中的算法、验证及模型研究
国家杰出青年科学基金:计算机科学技术的基础理论
八六三重点项目:个人信息处理终端SoC2
主讲课程涉及的领域
并行理论
进程演算
进程代数
论域理论
类型理论
程序语义
时态逻辑
离散数学
主要研究领域:
理论计算机科学
并行理论、进程演算、进程代数
类型理论、程序逻辑、程序语义
当前主要研究兴趣:
Chi-演算、进程演算及其应用
新型计算模型及程序语言
- 1[MP4]魏佳艺 - 情网2025 (车载音响改装跳舞视频DJ京仔版)2025-08-16
- 2[MP4]魏佳艺_范小松 - 爱恨两难 (超市跳舞视频DJ范小松版)2025-08-16
- 3[MP4]马健涛 - 你还是没能留下来(车载音响展示跳舞视频DJ版)2025-08-16
- 4[MP4]陈雅森 - 余生的故事都关于你 (复古泡沫洗车跳舞视频DJ默涵版)2025-08-16
- 5[MP4]陈艺然 - 曾经往事回不去 (泡沫洗车跳舞视频DJ彭锐版)2025-08-16
- 6[MP4]韩小欠 - 你在我心里下了一场雨 (汽车音响跳舞视频DJ快猫版)2025-08-16
- 7[MP4]韩小欠 - 拥有的回忆 (跳舞视频男声DJ长梦版)2025-08-16
- 1[MP3]Mp3 小高哥 - 给不了你想要的幸福(DJ阳山伟伟版)播放:0.88万
- 2[MP3]Mp3 小高哥 - 你是我躲不过的雨季(DJ阳山伟伟版)播放:1.2万
- 3[MP3]Mp3 小梦 - 多难过(DJ光波版)播放:1.3万
- 4[MP3]Mp3 小刀 - 爱也爱不了忘又忘不掉(DJ默涵版)播放:0.74万
- 5[MP3]Mp3 寂悸 - 你和他拥抱我快要疯掉(DJ版)播放:0.96万
- 6[MP3]Mp3 宁才神 - 既然你要走我也会放手 (DJ默涵版)播放:1.3万
- 7[MP3]Mp3 孙鸣灿 - 我要告诉世界我爱你 (DJ彭锐版)播放:1.4万
- 8[MP3]Mp3 孙艺琪 - 海鸟飞呀飞 (DJ伟然版)播放:1.3万
- 1[MP3]大奔原装CD系列 (绝对男听)播放:48.8万
- 2[MP3]车载顶级发烧HiFi至尊女声【爱不可能重来】播放:41.5万
- 3[MP3]绝对抒情发烧大碟《磁性好生音元素》HIFI车载CD音乐下载播放:37.4万
- 4[MP3]宝马BMW-X5原装CD车载系列(七)播放:37.0万
- 5[MP3]车载空间51环绕5D音效首首必然深入人心播放:23.6万
- 6[MP3]【极致靓声】环绕立体声Hi-Fi音乐车载串烧播放:28.1万
- 7[MP3]苏橘橘金牌DJ-全英文LakHouse西港之旅太空流行歌曲DJ舞曲串烧播放:42.4万
- 8[MP3]温州DJ小意-宝马BMW-X6-海浪情歌深情到底串烧播放:25.8万