2025 Winter Eng. Vacation Research Internship Program

We are offering the following set of projects under the SE group umbrella.

  • Characterising Execution Pathways for FuzzingDescription
  • Assessing LLMs’ Capabilities in Reasoning About Software Specifications
  • Assessing LLMs’ Capabilities in Debugger Use
  • Comparing Control-Flow and Data-Flow Based Execution Tracking

The interested students should apply here.