6 Similar Profiles
Similarity is based on overlapping concepts in the fingerprints, and shared work and organisational affiliations of Uday Reddy with the persons below:
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