Uday Reddy


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

If you made any changes in Pure these will be visible here soon.


Dive into the research topics where Uday Reddy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles