Dahlem Center for Machine Learning and Robotics

Institut für Informatik

Fachbereich Mathematik und Informatik

wissenschaftlicher Mitarbeiter

Mitarbeit im vom BMBF geförderten Projekt "KLEE"