Program Synthesis for Weighted Programs
Bachelor thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025
I supervise the Bachelor thesis of Tabea Hegewaldt on the topic of program synthesis for weighted programs.
Emma Ahrens
Interested in formal methods, computer science, discrete mathemathics, philosophical questions, ski touring, and many other (outdoor) sports.
- Germany
- RWTH Aachen University
- Google Scholar
- ORCID
- GitHub