Skip to main navigation Skip to search Skip to main content
No photo of Eike Ritter

View Scopus Profile

Eike Ritter

Dr.

 https://orcid.org/0009-0005-2100-8866

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

Fingerprint

Dive into the research topics where Eike Ritter is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Categorical Proof-theoretic Semantics

    Pym, D., Ritter, E. & Robinson, E. P., 3 May 2024, (E-pub ahead of print) In: Studia Logica.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    81 Downloads (Pure)

  • Skolemisation of Intuitionistic Linear Logic

    Bruni, A., Ritter, E. & Schürmann, C., 1 Jul 2024, (E-pub ahead of print) Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). 1 ed. Springer, p. 61-77 17 p. (Lecture Notes in Computer Science; vol. 14740).

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

    Open Access
    File
    56 Downloads (Pure)

  • Categorical Proof-Theoretic Semantics

    Pym, D., Ritter, E. & Robinson, E. P., 17 Feb 2023, arXiv.

    Research output: Working paper/Preprint › Preprint

  • A Malware-Tolerant, Self-Healing Industrial Control System Framework

    Denzel, M., Ryan, M. & Ritter, E., 22 Jul 2018, ICT Systems Security and Privacy Protection: 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings. De Capitani di Vimercati, S. & Martinelli, F. (eds.). Springer, p. 46-60 (IFIP Advances in Information and Communication Technology ; vol. 502).

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

    1 Citation (Scopus)

  • A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds.

    Khan, I., Anwar, Z., Bordbar, B., Ritter, E. & Rehman, H.-U., 1 Oct 2018, In: IEEE Transactions on Cloud Computing. 6, 4, p. 942-954

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    3 Citations (Scopus)
    647 Downloads (Pure)
View all 38 research outputs