RWTHaachen

RWTH-Professor ist Ehrendoktor der Aalborg University

Professor Katoen leitet den Lehrstuhl für Informatik 2 der RWTH Aachen und forscht zudem in der Gruppe „Formale Methoden und…