Cornelia P. Inggs

Cornelia P. Inggs

I am currently a part-time Senior Lecturer in Computer Science at Stellenbosch University. I received my PhD from The University of Manchester in the UK in 2004 after which I worked in industry for a few years before returning to academia.

Research Interest

I am interested in Concurrency from different viewpoints: the testing, formal verification, performance analyses, and development of concurrent programs. I've worked on projects, which included the implementation of the first parallel CTL* model checker for shared-memory multiprocessor machines as part of my PhD work, tools for analysing the performance of programs running on shared-memory architectures, and the Ingenious Framework, which we use for evaluating and improving the scalability of algorithms used in artificial intelligence and machine learning.

Publications

Learning Concurrency Concepts while Playing Games
Cornelia P. Inggs, Taun Gadd, Justin Giffard. Proceedings of the International Conference on Computer Supported Education, 2017, Volume 1, pp. 597–602.

Test-case Generation and Bug-finding through Symbolic Execution
Willem Bester, Cornelia P. Inggs, W. C. Visser. Proceedings of the Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists, 2012, pp. 1–9.

Improving Communication for Distributed Model Checking
Jean Fourie, Jaco Geldenhuys, Cornelia P. Inggs. Proceedings of the Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists, 2012, pp. 41–50.

Automated Coverage Calculation and Test Case Generation
G. C. Morrison, Cornelia P. Inggs, W. C. Visser. Proceedings of the Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists, 2012, pp. 84–93.

Monte-Carlo Tree Search Parallelisation for Computer GO
Francois van Niekerk, Gert-Jan van Rooyen, Steve Kroon, Cornelia P. Inggs. Proceedings of the Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists, October 2012, pp. 129–138.
Some results from this paper were also presented at the 2012 International Go Symposium, "New Work on MCTS Parallelisation and The State of the Art of Supercomputer Go and its Future".

CTL* Model Checking on a Shared-memory Architecture
Cornelia P. Inggs, Howard Barringer. Formal Methods in System Design 29(2), 2006, pp. 135–155.

Parallel Model Checking on Shared-memory Multiprocessors
Cornelia P. Inggs. PhD thesis, University of Manchester, 2004.

Effective State Exploration for Model Checking on a Shared Memory Architecture.
Cornelia P. Inggs, Howard Barringer. Electronic Notes on Theoretical Computer Science 68(4), 2002, pp. 605–620.

Current Students

Nicole du Toit,
Checking Linearisability of non-blocking concurrent data structures.

Vasco Nel-Lopes,
Annotating JVM bytecode for both Model Checking and Abstract Interpretation.

Kyle Chapman,
Fail-safe Tournament Engine using Kubernetes

Joshua Nieuwoudt,
Active Strategies for Coordination of Distributed Solitary Robots

Previous Students

Marc Christoph,
M.Sc. 2020, Information Sharing Strategies for Distributed Monte Carlo Tree Search.

D. Willem Venter,
M.Sc. 2016, Detecting and Quantifying Resource Contention in Concurrent Programs.

Willem H. K. Bester,
M.Sc. 2013, Test-Case Generation and Bug-finding through Symbolic Execution.

G. Campbell Morrison,
M.Sc. 2012, Automated Coverage Calculation and Test Case Generation.

Jean Fourie,
M.Sc. 2009, Reducing Communication in Distributed Model Checking.

Teaching

Computer Science 314
3rd year course on core concurrency concepts and OS level process management
Computer Science 714
Honours course on Verification
Computer Science 744
Honours course on advanced concurrency concepts

Contact Details

Office:
Computer Science, Room A509, General Engineering Building

Address:
Stellenbosch University, Private Bag X1, 7602 Matieland, SA

E-mail:
cinggs -at- cs . sun . ac . za