Albarghouthi_Aws_hs22_3811.JPG

Aws Albarghouthi

University of Wisconsin-Madison
2021 Amazon Research Award
Teaching SMT solvers probability theory