Aws Albarghouthi's Page

Aws Albarghouthi

I have moved to the University of Wisconsin-Madison.
My new webpage is here.

I successfully defended my PhD thesis in October, 2014.
My advisor was Marsha Chechik.

I am mainly interested in ensuring correctness, reliability, and security of software systems. Specifically, my research contributes automated formal techniques and tools for proving software correctness, discovering bugs, and synthesizing correct software. Moreover, my research addresses problems in automated theorem proving and SMT solving that are motivated by verification and program analysis.





My first name rhymes with house (i.e., pronounced ouse).
I have no relation to the popular cloud platform with the same name.

Contact Information

University of Toronto
Bahen Center, Room 3232
40 St. George St.
Toronto, Ontario