头像

何积丰

软件学院院长

软件工程学院      

个人资料

  • 部门: 软件工程学院
  • 毕业院校:
  • 学位:
  • 学历:
  • 邮编:
  • 联系电话: 62232550
  • 传真: 62232584
  • 电子邮箱: jifeng@sei.ecnu.edu.cn
  • 办公地址: 华东师范大学中山校区,软件学院
  • 通讯地址: 上海市普陀区中山北路3663号,华东师范大学软件学院

教育经历

工作经历

个人简介

社会兼职

研究方向

主要研究领域: 高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论

国家自然科学基金委"可信软件基础研究"重大研究计划‚首席科学家
科技部"海量信息的协同性和可生存性的理论与实践研究"973项目‚首席科学家

招生与培养

开授课程

科研项目

学术成果

2007

1

He Jifeng: Linking Semantic Models. ICTAC 2007: 18-33

2

He Jifeng: UTP Semantics for Web Services. IFM 2007: 353-372

3

He Jifeng‚Zhu Huibiao‚Pu Geguang: A model for BPEL-like languages‚Front.Comput.Sci.China 2007‚1(1):9-19

4

Jifeng He: Compensable Programs. Formal Methods and Hybrid Real-Time Systems 2007: 349-363

2006

5

Jifeng He‚ Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199

6

Jifeng He‚ C. A. R. Hoare: CSP Is a Retract of CCS. UTP 2006: 38-62

7

Jifeng He‚ Shengchao QinAdnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100

8

Jifeng He‚ Xiaoshan LiZhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)

9

Jifeng He‚ Xiaoshan LiZhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)

2005

10

Jifeng He: Linking Theories of Concurrency by Retraction. ICDCIT 2005: 432

11

Jifeng He‚ C. A. R. Hoare: Linking Theories of Concurrency. ICTAC 2005: 303-317

12

Jifeng He‚ Xiaoshan LiZhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95

13

Jifeng He‚ Dang Van HungGeguang PuZongyan QiuWang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005)

2004

14

Jifeng He: Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004: 61-74

15

Jifeng He‚ Zhiming LiuXiaoshan LiShengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436

16

Jifeng He‚ Carroll MorganAnnabelle McIver: Deriving Probabilistic Semantics Via the ´Weakest Completion´. ICFEM 2004: 131-145

17

Jifeng He‚ Naiyong Jin: Integrating Variants of DC. ICTAC 2004: 14-34

荣誉及奖励

10 访问

相关教师