Emma Ahrens

Emma Ahrens

Interested in formal methods, computer science, discrete mathemathics, philosophical questions, ski touring, and many other (outdoor) sports.

Weighted Caesar

Bachelor thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025

Together with Philipp Schroer, I supervise the Bachelor thesis of Samuel Rode on extending the Caesar verification tool with support for weighted programs.