Radha Jagadeesan received his bachelors from Indian Institute of Technology, Kanpur in 1987 and his doctorate from Cornell University in 1991. His research interests are in the general area of programming languages and systems, with specific interests in logical methods in Computer Science, timed probabilistic systems and concurrency theory.
Research Area
Software Engineering