wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Mattia Amico
mattiamico
MS student in Information and Communications Engineering
at University of Trento, Italy
Italy
Marc Bestmann
SammyRamone
Postdoc researching in the direction of robot assisted repair.
@DLR-MO Hamburg, Germany