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