Uday Reddy

Colleges, School and Institutes

Willingness to take PhD students

Yes

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