Directory

Xin Chen

Assistant Professor

Full-Time Faculty

Contact

Email: Xin Chen
Phone: 937-229-3831

Anderson Center 149

Degrees

  • Doctor rerum naturalium: RWTH Aachen University, Germany, 2015
  • Master of Science: 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