David Pearce
Dr David Pearce
Senior Lecturer
School of Engineering and Computer Science
address
Phone: +64 4 463 5833
Fax: +64 4 463 5045
Location: CO231, Cotton Building, Kelburn Campus - Postal Address
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.
Project Ideas for Students
If you are a student looking for project ideas, you might want to look at this
list of projects ideas.
Biography
I studied at Imperial College in London, where I obtained my undergraduate degree and PhD.