Uday Reddy – Network — University of Birmingham

View Scopus Profile

Accepting PhD Students

PhD projects

Uday Reddy’s research interests include:

Functional programming
Logic programming
Object-oriented programming, especially programming with state
Type systems, semantics and reasoning methods
Constructive logic and type theory, especially linear logic
Automated deduction, program transformation and synthesis

Research activity per year

The University of Birmingham

Organisational unit: University

14 shared research output

Engineering and Physical Sciences

The University of Birmingham

Organisational unit: College

12 shared research output

Facebook

External organisation: Overseas industry or commerce

1 shared research output

Carnegie Mellon University

External organisation: University or other Higher Education Institute

1 shared research output

Queen Mary, University of London

External organisation: University or other Higher Education Institute

1 shared research output