教师介绍

教师姓名

侯志茹

职务职称

讲师

研究方向

可信计算、形式化方法、形式语义

招生方向

计算机技术

软件工程

联系电话

E-mail

zrhou@sspu.edu.cn

办公地址

上海浦东新区金海路2360号28号楼906

个人简介

2025年6月，毕业于华东师范大学，获得软件工程专业博士学位。

2025年7月至今，进入上海第二工业大学计算机与信息工程学院任教。

主要论文、专利及著作情况

[1] Zhiru Hou, Huibiao Zhu: Formal Verification and Security Analysis of FastDFS Using Process Algebra, Internet of Things, Elsevier. 31: 101543（2025）

[2] Zhiru Hou, Huibiao Zhu, Lili Xiao, Phan Cong Vinh: Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective. Mobile Networks  and Applications. 29(1):273-285(2024)

[3] Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh: Formal Modeling and Verifying Dubbo Using Process Algebra. Mobile Networks and Applications.29 (4): 1257–1272 (2024)

[4] Zhiru Hou, Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu: Formal Verification and Security Analysis of Go-based New Simple Queue System. Journal of Circuits, Systems, and Computers. 34(6): 2550145:1-2550145:39 (2024)

[5] Zhiru Hou, Huibiao Zhu: Relational Denotational and Algebraic Semantics Based on UTP. SFPVV 2024: 226-244. (EI)

[6] Zhiru Hou, Huibiao Zhu, Jonathan P. Bowen: Operational and Algebraic Approaches to the Two-Run Relational System，Design and Verification of Cyber-Physical Systems: From Theory to Applications.- Essays Dedicated to Martin Fränzle on the Occasion of His 60th birthday (EI, accpted)

[7] Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen: Formalization and Verification of SIP Using CSP.  PDCAT 2022: 158-171 (EI)

[8] Zhiru Hou, Jiaqi Yin, Huibiao Zhu: Formalization and Verification of Dubbo Using CSP. SEKE 2021: 154-159 (EI, CCF-C)

[9] Jianhao Liu, Zhiru Hou*, Huibiao Zhu*: Validating Secure Cloud Communication  Mechanisms of Graphene with CSP-Based Modeling，International Journal of Software Engineering and Knowledge Engineering. (2025)

主要科研项目

曾参与多项国家级科研项目。

荣誉及获奖