Centre Coordinator at the Centre for Formal Methods and Future Computing (FORM) Denmark 5230 Odense M