Generate a tailored SOP for Dr. Suresh Jagannathan. Improve your application with a focused, well-structured draft.
Suresh Jagannathan is a Samuel D. Conte Professor in the Department of Computer Science and holds a courtesy appointment in Electrical and Computer Engineering at Purdue University. His research interests lie in the semantics and implementation of high-level programming languages, with a strong emphasis on formal methods for describing and implementing languages. He explores areas such as type theory, program analysis, abstract interpretation, and compiler runtime techniques that leverage analyses. He has an active interest in the specification, verification, and implementation of concurrent and distributed systems. His recent work involves the exploration of verification techniques that enable sound program optimizations for concurrent programs and delves into defining expressive memory models to guarantee visibility and consistency for shared data accesses. Notable contributions include research on resource-sensitive synchronization and relaxed memory concurrency.
Purdue University • West Lafayette, IN
Teaching and conducting research in the Department of Computer Science.
GRE is not required.