Programming Languages

The School of Computing Science has a long history and tradition of outstanding programming language research. Across its research sections the School hosts a unique combination of world-leading researchers in programming languages research, broadly construed, ranging from foundational research into type systems, to the implementation of parallel runtime systems, to research into how people learn programming languages, naming but a few. Researchers in the Theme typically span theory and practice, with a strong emphasis on the development of practical tools.

The Programming Languages Theme allows researchers from all research Sections, at present including FATA, GLASS, and EAP, with the aim of fostering cross-discipline collaborations. FATA hosts experts in the foundations of programming languages, with a particular focus on session types for concurrent and distributed systems (see here for an overview). GLASS hosts experts in compilation, parallel and distributed computing. EAP brings together experts on software engineering and Computing Science education research.

The PL Theme is supported by a lively seminar series, PLUG, held every two weeks during term time (details below).

Acting Theme Lead: Dr Simon Fowler

Members

Projects

Tools

PLUG - Programming Languages at University of Glasgow Seminars

SPLI - Scottish Programming Languages Institute

Glasgow, Haskell and the History of Functional Programming

Teaching

PhD Research Opportunities