CHEN Hongkai

*SHB = Ho Sin Hang Engineering Building, The Chinese University of Hong Kong

Research Interest
  • Cyber-Physical Systems
  • Ubiquitous sensing systems
  • Smart health and trustworthy medical devices
  • Smart cities for ambient intelligence
  • Formal methods for system formulation and control
Courses Taught

CHEN Hongkai 陳鴻凱教授

Research Assistant Professor
BS (NJU), MS (WUSTL), PhD (Stony Brook)
(852) 3943-8353
Room 718, SHB*
hkchen [at] ie.cuhk.edu.hk

Professor Hongkai Chen earned his Ph.D. in Electrical Engineering from Stony Brook University. Prior to that, he received his B.S. and M.S. degrees from Nanjing University in China in 2013 and Washington University in St. Louis in the USA in 2016. Currently, he serves as a Research Assistant Professor in the Department of Information Engineering at the Chinese University of Hong Kong. Before his current position, he gained valuable experience working at industrial research laboratories like Bosch Research.

Prof. Chen’s research interests lie in the intersection of cyber-physical systems (CPS), Internet of Things (IoT), ubiquitous computing, formal methods, AI, and control. His main objective is to design intelligent and reliable systems for applications in smart health and smart cities. Additionally, he is interested in theoretical CPS, specifically in the areas of resilience formulation and resilient control policy.

Prof. Chen has published on prestigious venues including MobiSys, HSCC, IMWUT, FORMATS, CDC, and MASS. Prof. Chen serves as the Industrial Liaison and Sponsorship Chair for CPS-IoT Week 2024 – the premier event in this domain. Additionally, he has served as a member of the Repeatability Evaluation Committee for several top-tier conferences and a reviewer for more than 10 esteemed conferences and journals.

Prof. Chen received several prestigious awards, including the Best Paper Award (Oded Maler Award in Timed Systems) at FORMATS 2022, the Best Repeatability Evaluation Award at HSCC 2023, and the Best Artifact Reviewer Award at MobiSys 2023.

Recent / Selected Publications
  • Sirajum Munir, Hongkai Chen, Shiwei Fang, Mahathir Monjur, Shan Lin, and Shahriar Nirjon. CarFi: Rider localization using Wi-Fi CSI. In Proceedings of the 2023 IEEE 20th International Conference on Mobile Ad Hoc and Smart Systems (MASS) 2023.
  • Hongkai Chen, Scott A. Smolka, Nicola Paoletti, and Shan Lin. An STL-based approach to resilient control for cyber-physical systems. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) 2023. Best Repeatability Evaluation Award
  • Hongkai Chen, Shan Lin, Scott A. Smolka, and Nicola Paoletti. An STL-based formulation of resilience in cyber-physical systems. In Proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2022. Best Paper Award
  • Hongkai Chen, Sirajum Munir, and Shan Lin. RFCam: Uncertainty-aware fusion of camera and Wi-Fi for human identification with mobile devices. ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), 2022.
  • Hongkai Chen, Nicola Paoletti, Scott A. Smolka, and Shan Lin. MPC-guided imitation learning of Bayesian neural network policies for the artificial pancreas. In Proceedings of the 2021 IEEE Conference on Decision and Control (CDC), 2021.
  • Hua Huang, Hongkai Chen, and Shan Lin. MagTrack: Enabling safe driving monitoring with wearable magnetics. In Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services (MobiSys), 2019.
Research Interest

  • Cyber-Physical Systems
  • Ubiquitous sensing systems
  • Smart health and trustworthy medical devices
  • Smart cities for ambient intelligence
  • Formal methods for system formulation and control
Courses Taught