Programming Languages Research Group
The Programming Languages Research Group (PLRG) is part of the Department of Computing in the Faculty of Science at Macquarie University.
PLRG conducts research in all aspects of modern programming languages and systems. We focus on research that builds on theoretical foundations to construct real world software systems. These interests encompass: programming language theory, design and implementation; tools and environments for programming languages; and program specification and verification.