User:Uday Reddy

The account of this former contributor was not re-activated after the server upgrade of March 2022.

I am Uday Reddy, an academic Computer Scientist working in the UK.

I have received M.Sc.(Hons) in Physics from the Birla Institute of Technology and Science (Pilani, India), M.S. in Computer Science from the University of North Carolina at Chapel Hill and Ph.D. in Computer Science from the University of Utah. I worked in the Department of Computer Science at the University of Illinois at Urbana-Champaign during 1985-1999 and currently work in the School of Computer Science at the University of Birmingham.

My research interests in Computer Science include programming language theory, formal methods, programming logics and various forms of programming language paradigms such as functional programming, logic programming, imperative programming and object-oriented programming. I also have a keen interest in logic in computer science, including its various facets such as automated deduction, term rewriting, program verification and program synthesis.