个人简历

科研项目：
国家自然科学基金委国际（中丹）合作项目“信息物理融合系统的基础研究”
获奖：
(a) “高端软件人才的协同创新培养模式”获得2013年上海市级教学成果奖特等奖（排名第二）
(b）“基于模型的可信软件理论与开发方法”获2011年度教育部高等学校自然科学一等奖，第二完成人
(c) 上海市闵行区领军人才
(d) 宝钢教育基金会优秀教师奖
(e) 上海市育才奖
课程建设：国家双语示范课程（软件工程数学）

研究领域

高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数""

近期论文

1、Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen:
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. 32(2): 275-314 (2020)
2、Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong:
Event-based functional decomposition. Inf. Comput. 271: 104484 (2020)
3、Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang:
Formal analysis and verification of the PSTM architecture using CSP. J. Syst. Softw. 165: 110559 (2020)
4、Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh:
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. MONET 25(3): 1125-1139 (2020)
5、Yuan Fei, Huibiao Zhu, Phan Cong Vinh:
Security Analysis of the Access Control Solution of NDN Using BAN Logic. MONET 25(3): 1162-1173 (2020)
6、Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang:
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. 187: 102343 (2020)
7、Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu, Ran Li:
Session: Internet of Things and Robotics. SEKE 2020: 1-6
8、Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei, Ningning Chen:
Modeling and Verifying NDN-based IoV Using CSP. SEKE 2020: 31-36
9、Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu, Junya Xu:
Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE 2020: 222-227
10、Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin:
Formalization and Verification of TESAC Using CSP. Int. J. Softw. Eng. Knowl. Eng. 29(11&12): 1741-1760 (2019)
11、Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh:
Modeling and Verifying Basic Modules of Floodlight. MONET 24(1): 100-114 (2019)
12、Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh:
Formal Verification of mCWQ Using Extended Hoare Logic. MONET 24(1): 134-144 (2019)
13、Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong:
Isolation Modeling and Analysis Based on Mobility. ACM Trans. Softw. Eng. Methodol. 28(2): 10:1-10:31 (2019)
14、Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen:
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. 28(3): 14:1-14:46 (2019)
15、Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He:
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68(3): 1117-1133 (2019)
16、Feng Sheng, Huibiao Zhu, Zongyuan Yang:
Towards the Mechanized Semantics and Refinement of UML Class Diagrams. APSEC 2019: 47-54
17、Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao:
Modeling and Verifying Storm Using CSP. HASE 2019: 192-199
18、Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang:
Modeling and Verifying Spark on YARN Using Process Algebra. HASE 2019: 208-215
19、Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin:
A Security Calculus for Wireless Networks of Named Data Networking. ICFEM 2019: 170-185
20、Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu:
PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM 2019: 203-218
21、Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu:
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE 2019: 147-198
22、Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu:
Verifying Static Aspects of UML models using Prolog (S). SEKE 2019: 259-342
23、Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin:
Modeling and Verifying TESAC Using CSP. SEKE 2019: 265-348
24、Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen:
A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32
25、Yucheng Fang, Huibiao Zhu, Jiaqi Yin:
Verifying Opacity of a Modified PSTM. TASE 2019: 232-239
26、Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic:
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE 2019: 240-247
27、Xi Wu, Huibiao Zhu, Wanling Xie:
UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP 2019: 198-216
28、Wanling Xie, Shuangqing Xiang, Huibiao Zhu:
A UTP approach for rTiMo. Formal Aspects Comput. 30(6): 713-738 (2018)
(1) 教育部软件工程专业教学指导委员会委员
(2) CCF形式化方法专委会副主任委员
(3) 担任IEEE&IFIP 国际会议“International Symposium on Theoretical Aspects of Software Engineering”执行委员会委员和程序委员会委员
(4) 担任第六届程序统一理论（The 6th International Symposium onUnifying Theories of Programming， UTP 2016）PC Co-Chair
(5) 担任第10届理论计算国际会议（10th International Colloquium on Theoretical Aspects of Computing，ICTAC 2013）PC Co-Chair
(6) 担任第35届IEEE软件工程会议（35thIEEE Software Engineering Workshop, SEW-2012）PCCo-Chair
(7) 担任第10届面向服务计算（10th International Conference on Service-Oriented Computing, ICSOC 2012）的Workshop Co-Chair
(8) 担任第12届国际形式化工程大会（12th International Conference on Formal Engineering Methods, ICFEM2010）PC Co-Chair
(9) PC member: ATVA2016、FORMATS 2016、FTSCS 2015 (以及2014)、HASE 2017（以及2016）、ICECCS 2014 (以及2013、2012、2011)、ICFEM 2016（以及2015、2014、2013、2012、2011）、ICTAC 2016、ICTAC2014、UTP 2014 （以及2012、2010、2008）、FM 2011等.