Research output per year
Research output per year
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
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to conference (unpublished) › Paper › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution