No photo of Eike Ritter

View Scopus Profile

Eike Ritter

Dr.

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.

1997 …2024

Research activity per year

Filter
Other chapter contribution

Search results

  • 2014

    Stateful Applied Pi Calculus

    Arapinis, M., Liu, J., Ritter, E. & Ryan, M., 2014, Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Abadi, M. & Kremer, S. (eds.). Springer, Vol. 8414. p. 22-41 Chapter 2. (Lecture Notes in Computer Science; vol. 8414).

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    9 Citations (Scopus)