SRIS Lab — People
We are a team of researchers building Smart, Reliable, and Interpretable Systems. This page highlights the PI, postdoctoral fellows, PhD and Master students, undergraduates, and alumni.
PI
陈 刚 · Gang Chen
Ph.D. (UC Davis), Postdoc (NTU, Singapore). Research: machine learning, formal methods, control, signal processing, interpretable fault diagnosis.
Postdocs
Khan Tasir
Research Area: Wind prediction.
PhD Students
逯鹏宏 · Penghong Lu
Formal methods for discrete-system fault diagnosis & fault-tolerant control.
袁俊琳 · Junlin Yuan
Formal methods and their applications to fault diagnosis.
劳振鹏 · Zhenpeng Lao
Formal methods for interpretable fault diagnosis.
岑伟洪 · Weihong Cen
Manufacturing systems analysis with machine learning.
Master Students
朱 涵悅 · Hanyue Zhu
Physics-informed neural networks.
张 稼瑞 · Jiarui Zhang
Robot control with reinforcement learning.
张 艺栎 · Yiyue Zhang
Physics-informed neural networks.
林 政豪 · Zhenhao Lin
Control synthesis with temporal logic.
陈 明宇 · Mingyu Chen
Interpretable fault diagnosis with temporal logic.
唐 超 · Chao Tang
Reinforcement learning control with temporal logic.
贾 远峰 · Yuanfeng Jia
Control theory with temporal logic.
殷 楚钦 · Chuqin Yin
Control theory with temporal logic.
尹 鹏宇 · Pengyu Yin
Fault sourcing with causality.
Undergraduate Students
杨 沛希 · Peixi Yang
Mechanical design.
路 延宇 · Yanyu Lu
Mechanical design.
贾 凯同 · Katong Jia
Image processing.
Alumni
Du Li (Master, 2022–2025) — First position: —
Cai Li (Master, 2022–2025) — First position: Startup
Ziyue Zeng (Master, 2022–2025) — First position: South China University of Technology
Ruoyao Tian (Undergraduate, 2022–2023) — First position: MS student at Zhejiang University
Wen Xin — —
Zhang Chen (Undergraduate, 2023–2025) — First position: MS student at Harbin Institute of Technology, Shenzhen
Zhang Ran (Undergraduate, 2023–2024) — First position: MS student at University of Science and Technology of China