Loop Rules for Weighted Programming
Bachelor thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025
I supervise the Bachelor thesis of Diyar Tetik, which focuses on the development of loop rules for reasoning about weighted programs.