Xin Chen    (pronounced Shin Chern)     

Assistant Professor
Department of Computer Science
University of New Mexico, Albuquerque NM

Email:   chenxin AT unm DOT edu

xinchen


Research interests

I am primarily interested in solving the safety and security problems on Cyber-Physical Systems equipped with machine learning components using formal methods.
A graphic overview of my research topics along with some of my representative publications are given as below.


Cyber-Physical System Controller (Finite State Machine) Plant (Differential Equation) senses actuates Real-Time Recovery Against Sensor Attacks: [RTSS'20], [TECS'21] Verification of Neural Network Controllers: [TCAD'20], [TECS'19], [HSCC'19] Synthesis of Neural Network Controllers: [ICCAD'19] Real-Time Monitoring: [RV'19], [RTSS'17] Decomposed Reachability Analysis: [RTSS'16] Reachable Set Underapproximation: [FMCAD'14] Time-Relational Abstraction: [TECS'17] Formal Verification of Hybrid Systems: [RTSS'12] Applications to Robotics: [IROS'20] Tools: [ATVA'20], [CAV'13]

Committee member

DAC 2025, ASP-DAC 2025, VMCAI 2025, ICCD 2024, MEMOCODE 2024, ARCH 2024, ATVA 2024, DAC 2024, ASP-DAC 2024, ARCH 2023, AAAI 2023, ARCH 2022, NSV 2022, ARCH 2021, ARCH 2020, EMSOFT 2019, ARCH 2019, ARCH 2018, EMSOFT WiP 2018, ARCH 2017, SNR 2017, CAV 2016 AEC, HSCC RE 2016, ARCH 2016, ARCH 2015, HSCC RE 2014.

Software