Biography
Carl is a postdoctoral researcher in the Control Group at the University of Oxford. Prior to this he was a student at the University of Southampton where he obtained a BEng degree in Electronic Engineering with AI and an MSc degree in Systems, Control, and Signal Processing. He remained in Southampton to complete a PhD in Control and Machine Learning, supervised by Professor Matthew Turner. During his PhD, Carl also spent time as a graduate student researcher, in the Data Science and Machine Intelligence Group at Pacific Northwest National Lab, and as an enrichment student, at the Alan Turing Institute.
Most Recent Publications
Strengthened Circle and Popov Criteria and the Analysis of ReLU Neural Networks
Strengthened Circle and Popov Criteria and the Analysis of ReLU Neural Networks
Strengthened Circle and Popov Criteria for the Stability Analysis of Feedback Systems With ReLU Neural Networks
Strengthened Circle and Popov Criteria for the Stability Analysis of Feedback Systems With ReLU Neural Networks
Current Research Project
Stability analysis of PDEs with applications to fluid flow and the control of plasma.
Research Interests
Carl's research focuses on the application of nonlinear systems theory and semidefinite programming to problems in machine learning and control. He is interested in how such theory can be harnessed to analyse the performance, robustness, and efficiency of these systems and inform better design. To date, this has included:
- Learning with guarantees
- Sequence modelling
- Stability analysis of nonlinear systems
Research Group
Related Academics
Most Recent Publications
Strengthened Circle and Popov Criteria and the Analysis of ReLU Neural Networks
Strengthened Circle and Popov Criteria and the Analysis of ReLU Neural Networks
Strengthened Circle and Popov Criteria for the Stability Analysis of Feedback Systems With ReLU Neural Networks
Strengthened Circle and Popov Criteria for the Stability Analysis of Feedback Systems With ReLU Neural Networks
