Aws Albarghouthi is an associate professor in the Computer Sciences Department. He studies automated synthesis and verification of programs. He received his Ph.D. from the University of Toronto in 2015. He has received a number of best-paper awards for his work (at FSE, UIST, and FAST), an NSF CAREER award, a Google Faculty Research Award, and Facebook Research Awards.
A word from Remzi Arpaci-Dusseau, Chair of Computer Sciences:
Aws’s research centers on software verification and program synthesis, including program fairness, privacy properties and synthesizing data analytics to bring the power of the cloud to average users. He has won numerous best-paper awards, an NSF Career award, and four Gold Medals in the International Competition on Software Verification.