David Pearce

David Pearce profile picture

Adjunct Professor
School of Engineering and Computer Science


MEng (Hons), PhD (Imperial)

Research Interests

My primary research areas are in programming languages, compilers and also program analysis.

I am particularly interested in tools and languages that eliminate software errors, especially when this occurs at compile time. I have recently developed a new state-of-the-art programming language called Whiley, which performs compile-time checking of constraints. Please visit the Whiley web site for more information on this programming language.


I studied at Imperial College in London, where I obtained my undergraduate degree and PhD.