Rate My Professor Uday Reddy

Professor Uday Reddy is a Professor of Computer Science and Emeritus Professor at the University of Birmingham, where he has been a member of the Theory of Computation group. He joined the University of Birmingham in 2000 and served as Head of the School of Computer Science from 2004 to 2008, during which time he led the School's submission to the Research Assessment Exercise 2008.

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.