Directory
Xin Chen
Assistant Professor
Full-Time Faculty
College of Arts and Sciences: Computer Science
Degrees
- Doctor rerum naturalium, RWTH Aachen University, Germany, 2015
- M.S., Shanghai Jiao Tong University, 2009
Professional Activities
Program Committee: EMSOFT WiP 2018, ARCH 2018, SNR 2018, DARS 2018, ARCH 2017, SNR 2017, CAV 2016 AEC, HSCC RE 2016, ARCH 2016, ARCH 2015, HSCC RE 2014.
Research Interests
- Formal verification of Cyber-Physical Systems
- Theory of differential equations
- Interval and numerical analysis
- Nonlinear optimization
- Mathematic logic