Neil Leslie

Contact details: Office: Cotton 440 Phone: ext 6732 Email: Neil.Leslie@mcs.vuw.ac.nz Official Homepage: //www.mcs.vuw.ac.nz/people/Neil-Leslie.shtml Timetable in pdf format

Research

My primary research interest is logics in computer science, especially the use of constructive logic in formal software development. I am also interested in the use of categorial grammars to describe natural languages.

I am the director of the Centre for Logic, Language and Computation. I am involved with the New Zealand Formal Program Development Colloquium. I have a list of projects I'd be interested in supervising.

Teaching

In Trimester 2, 2008 I will teach on:

• COMP 432: Functional Programming:
  • home page
  • outline
• SWEN 201 / COMP 206: Program and Data Structures:
  • home page
  • outline

Administration

I am currently Graduate Studies Coordinator for Computer Science.

• Information for graduate study in Computer Science
• Information for graduate study in Logic and Computation

Previous interests

Previous interests have included:

• software for logic teaching (at St Andrews);
• the use of constructive type theory for program specification and derivation. You can get:
  • my MSc thesis and
  • my PhD thesis.
• categorial grammar and natural language processing (at The Centre for Cognitive Science in Edinburgh);
• logics and computer science;
• the integration of graphics and natural language in Human-Computer Interaction.

Miscellaneous

Some miscellaneous links:

• My daughter attendsKarori West Normal School
• My son attendsWellington High School
• See the view from my office