|
Qin Lin, Dr.
|
|
|
|
|
Research Keywords: |
| robotics, motion planning, control, machine learning, formal verification |
|
|
Education: |
|
Ph.D., Computer Science, Delft University of Technology, 2019
|
|
|
Brief Bio: |
| I am a tenure-track assistant professor at the EECS department, Cleveland State University. Prior to joining CSU, I was a postdoc at the Robotics Institute of Carnegie Mellon University. My advisor is Prof. John M. Dolan. My research interests are in the intersection of machine learning, control theory, and formal verification towards the goal to enhance security and safety of safety-critical cyber-physical systems whilst deployed in dynamic, uncertain, and adversarial environments. I develop explainable and verifiable machine learning-based intrusion detection algorithms to protect industrial control systems, such as water treatment plants, from cyber attacks. I also rigorously verify safety properties of learning-enabled components and develop safety-guaranteed planning and control algorithms for autonomous driving systems. |
|
|
Research Interests: |
| The mission of my research is to answer the question: how can we provide people with cyber-physical systems they can bet their lives on? [Jeannette Wing]. My research interests are in the intersection of machine learning, control theory, and formal verification towards the goal to enhance security and safety of safety-critical cyber-physical systems whilst deployed in dynamic, uncertain, and adversarial environments. I develop explainable and verifiable machine learning-based intrusion detection algorithms to protect industrial control systems, such as water treatment plants, from cyber attacks. I also rigorously verify safety properties of learning-enabled components and develop safety-guaranteed planning and control algorithms for autonomous driving systems. |
|
|
Teaching Areas: |
| Introduction to Algorithms CIS 390/550, Spring 2022 |
|
|