Name:

Dr. Xin Chen

Title:

Assistant Professor

Department:

Computer Science

Describe your research in about 200 words.

I am primarily interested in developing formal methods for safe autonomous systems. We developed a series of safety verification techniques for Cyber-Physical Systems with learning-enabled components, and a group of real-time recovery approaches for linear, nonlinear and stochastic dynamics. Currently, we are working on safe machine learning for model-free systems.

What’s the most interesting thing you have learned from a student?

Students are less constrained by dogma than we are.