Primary supervisor
Yongqiang TianResearch area
Software EngineeringThe objective of this project is to design automated approach to detect bugs in various software, e.g., compilers, data libraries and so on.
The project may involve LLMs.
Required knowledge
- self-motivated, willing to spend time and efforts in research
- good programming and analysis skills
- good communication skills (oral and writing)
- good background in software testing and debugging
- (can be obtained during project) a reasonable knowledge of LLMs
Project funding
Other
