Contacts

A leading researcher and industry expert in product-line engineering and systems and software modelling.

An internationally leading expert in software verification and formal methods, best known for her pioneering work on feature interactions and feature-oriented requirements modelling.

A world leader in the development and use of cognitive work analysis to ensure good user interface design and performance in safety critical systems.

A world-renowned expert in automated verification techniques.

A leading researcher in real-time embedded software renowned for his work on embedded networking, tracing, and monitoring.

A world-renowned researcher in the area of automated reasoning for automated bug-finding and software analysis.

An internationally leading researcher in the area of data and hardware security.

A leading expert in systems modelling and control of dynamic systems.

A leading researcher in models of computation, system-level design methodologies, embedded software, and compilers.

An expert in timing analysis, resource management and fault-tolerant
hardware-software architectures for avionics.

An expert in information security.

Responsible for the daily management of the program.

Provides administrative support.