Role within the Artist2 European Network of Excellence Formal methods on embedded systems – in particular on verification of security properties.
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009