David Pearce

David Pearce profile picture

Associate Professor School of Engineering and Computer Science

Teaching in 2020


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.

Take a look at my personal web page for more information on the projects I have worked on, including publications and technical reports.


For a list of my recent publications, please see the Publications Database.


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