The Engineering Vacation Research Internship Program for 2025 Summer has been published.
You can find the list of CS projects here. These are: (1) CS2024-25/12 Implementing a GLR Parser in Python (2) CS2024-25/13 Grammar Inference with TTT (3) CS2024-25/32 Implementation of the Hoare-style Reasoning System in Proof Assistant (4) CS2024-25/46 Testing a dbms with random queries (5) CS2024-25/47 Testing concurrency control in a dbms with random interleaving of short transactions. The participation in VRI projects provided by Software Engineering Group members is a good way to get a jump start on your Honours. Priority will be given to those students who are interested in continuing the research as a Honours research project. Please note that the applications close on 17th September.