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

The University of Birmingham

Organisational unit: University

38 shared research output

Engineering and Physical Sciences

The University of Birmingham

Organisational unit: College

38 shared research output

Birmingham Business School

Social Sciences

Organisational unit: School

1 shared research output

Social Sciences

The University of Birmingham

Organisational unit: College

1 shared research output

Economics

Birmingham Business School

Organisational unit: Department

1 shared research output

University of Edinburgh

External organisation: University or other Higher Education Institute

3 shared research output

Queen Mary, University of London

External organisation: University or other Higher Education Institute

3 shared research output

University College London

External organisation: University or other Higher Education Institute

2 shared research output

University of London

External organisation: University or other Higher Education Institute

1 shared research output

University of Copenhagen

External organisation: University or other Higher Education Institute

1 shared research output

University of Aberdeen

External organisation: University or other Higher Education Institute

1 shared research output

IT University of Copenhagen

External organisation: University or other Higher Education Institute

1 shared research output