Functions
Full professor/Chief scientist I in Software Engineering
-
Interdisciplinary Centre for Security, Reliability and Trust
-
SVV
-
29JFK 29, boulevard JF Kennedy L-1855 LUXEMBOURG LUXEMBOURG
-
JFK, E01 108
-
Head of the Software Verification and Validation Department, SnT/FSTC
Vice-Director SnT
Expertise areas:
Software verification and validation
Software testing
Model-driven requirements, architecture, and design
Awards :
ERC Advanced grant (2016)
FNR PEARL chair (2012)
IEEE Reliability Society, Reliability engineer of the year (2013)
IEEE Computer Society Harlan Mills Award Recipient (2012)
IEEE Fellow (2010)
Canada Research Chair (Tier I, 2003-2008)
Links:
Personal pages
Software V&V Lab
Former Positions:
Head of the Certus center for software verification and validation, Simula Research Laboratory, Norway
Professor, University of Oslo, Norway
Professor and Canada Research Chair, Carleton University, Ottawa, Canada
Department head, Fraunhofer IESE, Germany
Group leader, Computer Research Institute of Montreal (CRIM), Montreal, Canada
Faculty Research Scientist, SEL, University of Maryland and NASA GSFC, College Park, Maryland, USA
Software engineer, CISI Ingenierie, France
