Generate a tailored SOP for Dr. Swarat Chaudhuri. Improve your application with a focused, well-structured draft.
Swarat Chaudhuri works at the intersection of formal methods and artificial intelligence (AI). He received a Bachelor of Technology in Computer Science from the Indian Institute of Technology Kharagpur and a Doctorate in Philosophy from the University of Pennsylvania. Previously, he was a faculty member at Pennsylvania State University and Rice University, where he taught a wide range of undergraduate and graduate courses in computer science and had a long track record of federally funded research. His accolades include the NSF CAREER Award, Google Research Award, ACM SIGPLAN John Reynolds Doctorate Dissertation Award, and multiple distinguished paper awards. His research vision is to build a new generation of AI systems designed with goals of reliability, transparency, and security. He seeks to realize this vision by synthesizing ideas from programming languages, formal methods, and machine learning. He is a member of UT Austin's Programming Languages and Formal Methods group, a core faculty member of UT's Machine Learning Laboratory, and an affiliate of Texas Robotics.
General requirements for the Graduate School at UT Austin apply to all programs unless otherwise specified.