Aws Albarghouthi

Albarghouthi studies the art and science of analyzing software and automatically producing software that is correct.

Assistant Professor, Computer Sciences College of Letters and Science Work: 608-262-7946 — Home and cell phones available upon request aws@cs.wisc.edu Home page Twitter: @awsTO

Topics

Programming languages
Software verification
Program synthesis

Achievements

NSF CAREER Award 2017