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 the Meetings page for the time and place! Please JoinUs by subscribing to our mailing list to stay up to date: