Foundations of Computing
Introduction
We work on a wide range of topics that can broadly be summarized by logic in computer science, and foundations of software science, computer systems and programming languages.
Events and Activities
Seminar on Category Theory and its Applications (ongoing).
Seminar on Computational Social Science (ongoing).
Departmental workshop on applications of machine learning and data mining, June 10, 2016.
Members
Former Members
PhD Students
- Samuel Balco - Proof Theory of Multi-Type Display Calculi
- James Hoey - Reversible debugging of multi-threaded programs
- Mirzhan Irkegulov - Game Theory
- John Whitington - Program Analysis
- Yi Xiao - Nominal Automata
- Hao Zeng - Nominal Automata
Research Overview
We work in a number of areas including: Calculi and models of concurrent, distributed, mobile, and context-aware computing; (Co)algebraic and categorical models; Modal logic and description logic; Proof theory and tableaux systems; General systems theory and computational models (chemical, biological, etc); Semantics of conceptual modelling methods and techniques; Semantics of programming languages; Type theory; Lambda-calculus; nfinitary lambda calculus; Rewriting; Session types; Graph transformations; Term rewriting; Theorem proving; Stochastic approaches; Rewriting of bio-structures; Nominal techniques; Verification;
Contact
Contact details for each staff member and most PhD students are available from their respective homepages.