![]() | Software Engineering Research Group |
| Jörg Kienzle | Fault tolerance (hardware and software fault tolerance, transactions, exception handling), software engineering (software development methods, software architecture) and aspect-oriented programming |
| Martin Robillard | Software engineering, software evolution and maintenance, reverse engineering, aspect-oriented software development, program understanding, software modularity, static analysis, empirical software engineering |
| Laurie Hendren | Compiler analyses and tools for object-oriented and aspect-oriented progamming languages. |
| Brigite Pientka | Logic and computation, type theory, theorem proving, logical frameworks and theory of programming languages. |
| Clark Verbrugge | Concurrency designs and abstractions, compiler/runtime optimization and analysis, and formalization of modern computer games. |
| Hans Vangheluwe | Meta-modelling, domain-specific visual modelling, modelling and simulation based design, graph rewriting for model evolution and transformation. |