Skip to main content
University of Wisconsin–Madison
Aws Albarghouthi

Aws Albarghouthi

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

Assistant Professor, Computer Sciences 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