Programming Languages and Verification Research Group at Macquarie University

The Programming Languages and Verification Research Group at Macquarie University (PLV @ MQ) develops rigorous methods for designing and analysing software. Our aim is to bring correctness to the forefront, particularly for safety-critical and secure software.

Researchers working in PLV @ MQ have expertise in logical and mathematical methods, rigorous software modelling, programming language design, software language engineering and verification tools. We develop and combine this expertise in novel ways to solve the technical and practical challenges of engineering complex computer systems.

Academic Staff

• Annabelle McIver
• Matthew Roberts

Honorary Staff

• Anthony Sloane

Research Students

• Natasha Fernandes (PhD, McIver)
• Hamid Jahanian (PhD. McIver, Sloane)

Visitors

N/A

Alumni

• Scott Buckley (PhD, Sloane, Roberts)
• Cameron Pappas (MRes, Sloane, McIver)
• Franck Cassez
• Diego Ocampo Herrera (MRes 2019)
• Sarah Heimlich (MRes 2019)
• Shaun Muscat (MRes 2014)
• Stepan Sindelar (MIT 2013)
• Shirren Premaratne (MIT 2011)
• Matthew Roberts (PhD 2011)
• Brent Wallace (Honours 2010)
• Kate Stefanov (Honours 2000, PhD 2007)
• Qingsong Ye (MSc 2006)
• Michael Knight (Honours 2005)
• Jason Rennie (Honours 2004)
• Nick Phillips (Honours 2004)
• Michael Richmond (PhD 2004)
• Shirley Goldrei (Honours 2003)
• Matt Tarnawsky (Honours 2002)
• Sally-Anne Palmer (Honours 2000)