Programming Languages and Systems Group

Research within the Programming Languages and Systems (PLAS) group is focussed on advanced programming language features and techniques, and semantics-based program analysis. Currently active research topics within the group include:

• functional programming techniques
• embedded domain-specific languages based on various notions of computation
• program transformations
• persistent data structures
• static analysis of logic programs
• application of logical techniques to program analysis problems
• static analysis techniques utilising symmetry and search
• language-based security
• dependency analysis
• quantitative information flow
• type systems for security

Research Opportunities

The group welcomes applications from students who want to do research in the areas that are of interest to the academic members of the group. Those interested may initially contact the relevant member of the group or Dr Sebastian Hunt.
Further information about Research Studies within The School of Informatics can be found here