Award for outstanding Bachelor’s Thesis

Christina Gehnen has received an award from the Fachgruppe Informatik at RWTH for her Bachelor’s thesis entitled “Automata-based Model Checking of Recursive Systems“. Congratulations!