Programming Languages and Systems Group Home Page
Programming Languages And Systems
Overview
Research within the Programming Languages and Systems 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