CPSL@Duke brings together expertise from electrical, computer and biomedical engineering, as well as computer science fields to study the interaction between the physical world and computing systems with varying levels of autonomy.
Our research focus is on development of high-assurance system design methodologies for Cyber-Physical Systems, which is at the confluence of embedded systems, AI and learning, formal methods, controls and robotics. The long-term goal is to integrate system modeling, analysis and automatic synthesis into composable design procedures that ensure safety and desired performance of closed-loop systems with varying levels of autonomy (including high!) and human interaction; under known and unknown operating conditions, and even in the presence of malicious activity.
Join the Lab
We are looking for PhD students and postdocs with interests and expertise in AI, embedded systems, formal methods, control theory, robotics and cyber-physical systems!