Uday Reddy

Prof

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

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.

Mathematics

Engineering & Materials Science

Arts & Humanities