Eike Ritter – Network — University of Birmingham

View Scopus Profile

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

Mark Ryan

Computer Science - Professor of Computer Security

Person: Academic

13 shared research output

Tom Chothia

Computer Science - Professor of Cyber Security

Person: Academic

2 shared research output

D Pym

External person

4 shared research output

V de Paiva

External person

3 shared research output

Edmund P. Robinson

Queen Mary, University of London

External person

3 shared research output

David Pym

University of Aberdeen
University College London
University of London

External person

2 shared research output

P Maneggia

External person

2 shared research output

M Mendler

External person

2 shared research output

Myrto Arapinis

University of Edinburgh

External person

2 shared research output

A Prakash

External person

1 shared research output

N Alechina

External person

1 shared research output

S Konour

External person

1 shared research output

Guilin Wang

External person

1 shared research output

Carsten Schürmann

IT University of Copenhagen

External person

1 shared research output

V Paiva

External person

1 shared research output

LT Yang

External person

1 shared research output

L Denis

External person

1 shared research output

Kevin Redon

External person

1 shared research output

Nico Golde

External person

1 shared research output

Imran J Khan

External person

1 shared research output

Y Wang

University of Western Australia
Central China Normal University
Shandong University

External person

1 shared research output

JS Royer

External person

1 shared research output

M Fisher

External person

1 shared research output

R Yasmin

External person

1 shared research output

ME Maietti

External person

1 shared research output

Ravishankar Borgaonkar

External person

1 shared research output

FG Mármol

External person

1 shared research output

Loretta Mancini

External person

1 shared research output

Zahid Anwar

External person

1 shared research output

Alessandro Bruni

University of Copenhagen

External person

1 shared research output

A Li

External person

1 shared research output

G Wang

University of California

External person

1 shared research output

A Miller

External person

1 shared research output

M Maietti

External person

1 shared research output

JM Alcaraz Calero

External person

1 shared research output

S Kremer

External person

1 shared research output

LJG Villalba

External person

1 shared research output

P Mannegia

External person

1 shared research output

Habib-ur Rehman

External person

1 shared research output

P Gray

External person

1 shared research output

V De Pavia

External person

1 shared research output

S Schewe

External person

1 shared research output

C Unsworth

External person

1 shared research output

M Calder

External person

1 shared research output

L Fribourg

External person

1 shared research output

I Sen Gupta

External person

1 shared research output