Cornelia Inggs is a part-time Senior Lecturer in Computer Science at Stellenbosch University. She completed her PhD at the University of Manchester, UK, where she developed parallel algorithms for reachability analysis and model checking. After her PhD she worked in industry for a few years and then returned to academia as a lecturer at Stellenbosch University.

She is interested in software testing and verification, parallel program performance, efficient search and planning algorithms for artificial intelligence and machine learning, and program analysis.