Aws Albarghouthi

Professor, Computer Sciences, UW-Madison

      Aws Albarghouthi is an assistant professor at the University of Wisconsin-Madison, where he co-leads the madPL research group. His work mainly focuses on automated verification, with a recent emphasis on reasoning about fairness and privacy. He received his PhD at the University of Toronto in 2015, where he built the UFO verifier. He is the recipient of the NSF CAREER award and multiple best-paper awards.

      Talks and workshops: