Eike Ritter


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 …2023

Research activity per year

If you made any changes in Pure these will be visible here soon.


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

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