Axel Simon (TU München) zu Gast

Vom 14. bis zum 18. Februar war Axel Simon vom Lehrstuhl Informatik 2 an der TU München zu Gast in unserer Gruppe. Ziel dieses Besuchs war die gemeinsame Arbeit mit Jörg Brauer an SAT-basierter abstrakter Interpretation.


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