Imperial College, leads the Multicore Programming research group. His work focuses primarily on software for multicore and manycore systems, since exploiting parallelism is nowadays the principle means for accelerating applications.

Imperial College, works on reasoning about programs, program composition, session types, ownership types, concurrency, and in general, programming language design and modelling. In particular, she participated in the design of the Pony type system.

CTO of GCC Technology, IBM Research. David is the maintainer of GCC port for PowerPC, a member of the GCC Steering Committee, member of the PyPy leadership team, and leads an Open Source software bounty program within IBM as part of an effort to infuse innovation into the Open Source software ecosystem for IBM Systems.

Purdue, works on programming languages generally, with specific focus on compilers, functional programming, program verification, and concurrent and distributed systems.

University of Kent, has written the book on Garbage Collection, twice, and is interested in memory management for high-level languages.

Mozilla, is a senior researcher at Mozilla research. He focuses on safe support for parallelism in programming languages. He is currently working on the Rust programming language as well as Parallel JavaScript.

Northeastern University, works on and around the Scala programming language.

EPFL, works on unifying object-oriented and functional programming in the Scala language.

King’s College London, is a programmer and Reader in Software Development of the Department of Informatics, where he leads the Software Development Team.

Northeastern, led the implementation of the first real-time Java virtual machine to be successfully flight-tested. He works on gaining a better understanding of the JavaScript language and is now looking at supporting scalable data analysis in R.