Research output per year
Research output per year
Accepting PhD Students
PhD projects
Eike Ritter’s research interests include security, applications of mathematical logic and category theory to computer science, type theory and its applications to functional programming, proof theory and automated theorem proving.
Dr Ritter is one of the investigators on the EPSRC-funded project ‘Verifying Interoperability Requirements in Pervasive Systems’, which is a collaboration between the universities of Birmingham, Liverpool and Glasgow.
He is also involved in work on access control systems and mathematical foundations of computer science.
Research activity per year
Research output: Working paper/Preprint › Working paper
Research output: Working paper/Preprint › Working paper
Research output: Working paper/Preprint › Working paper
Research output: Working paper/Preprint › Working paper
Research output: Working paper/Preprint › Working paper