Aws Albarghouthi's Page

Aws Albarghouthi

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

My expertise covers a range of areas in formal methods, programming languages, and software engineering. 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.


  I am on the academic job market for Fall 2014 positions!
  Here are my application materials:   Please see my job application page for more information.




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