We are offering the following set of projects under the SE group umbrella. The interested students should apply here.

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 […]

Andreas Zeller is visiting University of Sydney, and would be giving us a Basser Seminar on “Semantic Fuzzing: Massive Testing for Complex Input Formats“ Abstract Automatic Test Generation (Fuzzing) has always suffered from two significant problems: First, the input generation problem – generating valid inputs that cover program functionality. Second, the oracle problem – that […]

We will be hosting a lecture from the Macquarie Cloud Services group as part of the SOFT3202 lectures on 2024 May 15 3-5 PM at the PNR Lecture Theatre. Everyone is welcome to attend.

The Engineering Vacation Research Internship Program for 2024 Winter has been published. You can find the list of CS projects here. We have 14 projects from the software engineering group. 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 […]

The Engineering Vacation Research Internship Program for 2024 Summer is in progress.The participation in VRI projects provided by Software Engineering Group members is a good way to get a jump start on your Honours.