Lindsay Groves

A/Prof Lindsay Groves

Associate Professor
School of Engineering and Computer Science

Phone: +64 4 463 5656
Fax: +64 4 463 5045
Location: CO257, Cotton Building, Kelburn Campus - Postal Address


Teaching in 2016

COMP 304 - Programming Languages
Course Lecturer

COMP 425 - Computational Logic
Course Coordinator

NWEN 303 - Concurrent Programming
Course Coordinator

SWEN 423 - Object-Oriented Paradigms
Course Coordinator

Research Interests

My main research interests are in formal methods (essentially, the use of mathematical/logical notation and reasoning) for software specification and design. The main focus of this work is the development of techniques for deriving programs from formal specifications based on the refinement calculus, and the design of tools to support program refinement, but also includes application of formal methods in industrial applications, refinement of logic programs, verification of concurrent systems, and semantics of data models.

I have an ongoing joint research project with Mark Moir and others at Oracle's Sun Lab, Boston, on proof methodologies for concurrent algorithms.

I also have more general interests in software engineering, including program visualisation, program understanding, program maintenance/evolution and safety-critical systems.


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