-
![](pic/members/t35brown.jpg)
Trevor Brown
Concurrent (lock-free) data structures, transactional memory, non-volatile memory,
non-uniform memory architectures.
-
![](pic/members/pabuhr.png)
Peter Buhr
Concurrency, visualization and debugging, polymorphism, persistence.
-
![](pic/members/wdietl.jpg)
Werner Dietl
Programming languages, software engineering, software correctness
and robustness.
-
![](pic/members/plam.jpg)
Patrick Lam
Software Engineering, static program analysis, verifiable software
specifications.
-
![](pic/members/olhotak.jpg)
Ondřej Lhoták
Programming language design & implementation, program analysis of
object-oriented languages.
-
![](pic/members/plragde.jpg)
Prabhakar Ragde
Theory and practice of functional programming languages, type theory, proof assistants.
-
![](pic/members/yizhou.jpg)
Yizhou Zhang
Design, implement, and study high-level language abstractions providing expressiveness
and assurance required to build extensible, reliable software.