Software and Programming Group

SPG Logo The Software and Programming Group (SPG) involves leading software engineering and programming languages researchers with links to a large number of international institutions worldwide. We conduct research on static analysis, modern programming language design, type systems, modelling, formal methods, human aspects, and database. We contribute to the development of both commercial and research programming languages and tools. We always seek new PhD and masters students with a background in software development with experience in compilers, language design, and tools implementation. See SPG Research Profile.


Weekly Group Meetings take place every Friday between 1pm and 2pm and are currently on Zoom. Please JoinUs by subscribing to our mailing list to stay up to date:

SPG Outing SPG working lunch in a restaurant overlooking Wellington Harbour, with visitors Patrick Lam (University of Waterloo) and Dhruv Makwana (University of Cambridge)