-

Trevor Brown
Concurrent (lock-free) data structures, transactional memory, non-volatile memory,
non-uniform memory architectures.
-

Peter Buhr
Concurrency, visualization and debugging, polymorphism, persistence.
-

Werner Dietl
Programming languages, software engineering, software correctness
and robustness.
-

Patrick Lam
Software Engineering, static program analysis, verifiable software
specifications.
-

Ondřej Lhoták
Programming language design & implementation, program analysis of
object-oriented languages.
-

Prabhakar Ragde
Theory and practice of functional programming languages, type theory, proof assistants.
-

Yizhou Zhang
Design, implement, and study high-level language abstractions providing expressiveness
and assurance required to build extensible, reliable software.