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
20012014
Research activity per year
Fingerprint
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.