David Pearce

Senior Lecturer School of Engineering and Computer Science

• address
• 04 463 5833
• CO231, Cotton Building, Kelburn Campus

Qualifications

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.

Publications

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

Biography

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