 |
- Kevin Hammond
- Functional programming, resource-bounded computation,
grid & parallel computing, embedded systems,
real-time systems, programming language implementation
|
 |
- Roy Dyckhoff
- Computational logic, proof theory, type theory, lambda calculus, automated reasoning,programming language semantics
|
 |
- James McKinna
- Epigram, functional programming, interactive theorem proving,
dependent type theory, lambda calculus, semantics; user interfaces.
|
 |
- Edwin Brady
- Functional programming, resource bounded computation, generative
programming, type theory, dependent types.
|
 |
- Armelle Bonenfant
- Cost models, process algebra, functional programming, parallel
programming (BSP).
|
 |
- Christoph Herrmann
- Worst-case execution time analysis of embedded, safety-critical systems, controlled by programs written in the functional language Hume.
|
 |
- Steffen Jost
- Program analysis, program semantics, type systems, logic, discrete mathematics.
|
 |
- Alexander Konovalov
- Symbolic computation, software composability and symbolic computing on the Grid, computational group and group ring theory, and software development for the computational algebra system GAP.
|
 |
- Charlotte Bjuren
- Autonomic computing, grid systems, functional programming, mathematical logic.
|
 |
- Hugo Simoes
- Type theory, formal models of computation, static analysis,
programming language design.
|
 |
- Pedro Vasconcelos
|
