Xin Chen

Contact Information

  • Email: Xin Chen
  • Phone: 937-229-3831
  • Location: Anderson Center 149

Xin Chen

Assistant Professor

  • Full-Time Faculty

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