Albarghouthi received his Ph.D. in computer science from the University of Toronto in 2014, where he was advised by Prof. Marsha Chechik. His thesis introduced new software verification algorithms, which he implemented in an award-winning verification tool.