Aws Albarghouthi's Page

Aws Albarghouthi

I am a Computer Science PhD candidate at the University of Toronto.
My advisor is Marsha Chechik.

Joining the University of Wisconsin-Madison as an assistant professor in January!

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