A/Prof Lindsay Groves

BSc Auck, MSc Massey, Ph.D VUW

Position	Associate Professor
Research Interests	Formal Software Development
Office	CO257 - Postal Address
Phone	+64 4 463 5656
Email	lindsay@ecs.vuw.ac.nz

Teaching

Teaching in 2010: COMP 304 COMP 425 NWEN 303 SWEN 224 SWEN 431

Biography

Lindsay's 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. Lindsay is involved in three externally funded projects: investigating industrial applications of formal specification techniques (jointly with Ray Nickson and Waikato University, funded by FRST); proof methodologies for concurrent algorithms (jointly with Ray Nickson and Sun Microsystems, Boston, funded by Sun); and mathematical foundations for semistructured data (jointly with Auckland University, funded by the Marsden Fund). He also has more general interests in software engineering, including program visualisation, program understanding, program maintenance/evolution and safety-critical systems.