Biography

Swarat Chaudhuri is an assistant professor of computer science and engineering at the Pennsylvania State University, University Park. He received a bachelor's degree in computer science from the Indian Institute of Technology, Kharagpur, in 2001, and a doctoral degree in computer science from the University of Pennsylvania in 2007.His research investigates:
(1) Ways to reason formally about programs, in particular temporal verification, software model checking, and program analysis.
(2) Concurrency and parallel programming, in particular new programming abstractions for parallelism.
(3) Reliable computing, in particular computation in environments suscpetible to unpredictable faults.
(4) Logic and automata theory.

He is a recipient of the ACM SIGPLAN Doctoral Dissertation Award (awarded to the outstanding dissertation on programming languages) and the Morris and Dorothy Rubinoff Award (awarded to the outstanding computer science dissertation from the University of Pennsylvania).