»Moves News»Award for outstanding Bachelor’s Thesis
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!