Thesis & Project Topics

The group has a wide range of possible topics for bachelor's and master's theses, practical work and projects. We are broadly interested in programming languages and compilers, software engineering, computer security, deep learning and education technologies. 

Under these research areas, we have possible thesis topics ranging from software/system building, empirical investigations, to algorithmic and theoretical explorations. Excellent work should lead to high-impact (practical, conceptual, or theoretical) results and publications at relevant top computer science venues. 

Current topics include: 

• AI for CS Education
• Improving Compiler Optimizations
• Vulnerability Detection
• Robustifying the OS Kernel
• LLM Task Abstention
• Programming Language Design & Implementation
• Compiler Testing & Validation