Krzysztof Czarnecki
A leading researcher and industry expert in product-line engineering and systems and software modelling.
Joanne Atlee
An internationally leading expert in software verification and formal methods, best known for her pioneering work on feature interactions and feature-oriented requirements modelling.
Catherine Burns
A world leader in the development and use of cognitive work analysis to ensure good user interface design and performance in safety critical systems.
Marsha Chechik
A world-renowned expert in automated verification techniques.
Sebastian Fischmeister
A leading researcher in real-time embedded software renowned for his work on embedded networking, tracing, and monitoring.
Vijay Ganesh
A world-renowned researcher in the area of automated reasoning for automated bug-finding and software analysis.
Anwar Hasan
An internationally leading researcher in the area of data and hardware security.
Amir Khajepour
A leading expert in systems modelling and control of dynamic systems.
Hiren Patel
A leading researcher in models of computation, system-level design methodologies, embedded software, and compilers.
Rodolfo Pellizzoni
An expert in timing analysis, resource management and fault-tolerant
hardware-software architectures for avionics.
Mahesh Tripunitara
An expert in information security.
Michał Antkiewicz
Responsible for the daily management of the program.
Jean Webster
Provides administrative support.