Besuch: Dr. Andy King

Vom 15. bis zum 18. Juni besuchte Dr. Andy King von der University of Kent in Canterbury unsere Gruppe, um gemeinsam mit Dr. rer. nat. Jörg Brauer an interessanten Problemstellungen in Bereich der abstrakten Interpretation zu arbeiten. Die Royal Society, die englische Akademie der Wissenschaften, finanzierte den Besuch.


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland