We have several projects for this term.
1. CS2026/22 Verifying correctness of blockchain data management
2. CS2026/23 Investigation of Competent Programmer Hypothesis in the context of LLMs
3. CS2026/24 Fuzzing CLIs with inferred grammar of the command line options
4. CS2026/25 Evaluating the use of Inferred Grammar on Automatic Data Repair
5. CS2026/26 Evaluating the use of Inferred Grammar on Automatic Input Minimization
If you are interested in any of these projects, please apply here.