Rate My Professor Uday Reddy

Prior to his appointment at Birmingham, Professor Reddy was an Associate Professor at the University of Illinois at Urbana-Champaign in the United States. He has also held visiting appointments at Imperial College London, the University of Glasgow and Queen Mary University of London. His research focuses on programming language semantics and the development of tools and techniques for program reasoning. Specific interests include functional programming, logic programming, object-oriented programming with state, type systems, semantics and reasoning methods, constructive logic and type theory including linear logic, as well as automated deduction, program transformation and synthesis. Professor Reddy's work has contributed to areas such as denotational semantics, program logic and category theory applied to programming languages.