Timezone: »

Augustus Odena · Charles Sutton · Roopsha Samanta · Xinyun Chen · Elena Glassman

Sat Dec 12 03:30 PM -- 04:00 PM (PST) @ None

Author Information

Augustus Odena (Google Brain)
Charles Sutton (Google)
Roopsha Samanta (Purdue University)

Roopsha Samanta is an Assistant Professor the Department of Computer Science at Purdue University. She leads the Purdue Formal Methods (PurForM) group and is a member of the Purdue Programming Languages (PurPL) group. Before joining Purdue in 2016, she completed her PhD at UT Austin in 2013, advised by E. Allen Emerson and Vijay K. Garg, and was a postdoctoral researcher at IST Austria from 2014-2016 with Thomas A. Henzinger. She is a recipient of the 2019 NSF CAREER award. She works at the intersection of formal methods and programming languages to develop algorithms and tools for assisting programmers in writing reliable programs. Her current research agenda is centered around two themes—formal reasoning about distributed systems and semantics-driven inductive program synthesis and repair.

Xinyun Chen (UC Berkeley)
Elena Glassman (Massachusetts Institute of Technology)

More from the Same Authors