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