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. |