The Programming Languages and Systems Research Group
| The PLASMA research group is part of the Department of Computer Science of the The University of York. The group aims to advance programming languages, methods and tools, with a special interest in radical alternatives. We address both the principles underlying new kinds of programming languages and technologies, and the practice of implementing and using them effectively. |  |
Research Areas
- Functional Programming
- Parallel Computation
- Design and Verification of Network Protocols, Reactive Systems and Software
- Graph Transformation
- Reasoning about Algorithms
A concise summary of research topics and contacts is available as a PDF.
