My name is Aws Albarghouthi and I'm an associate professor of computer science at the University of Wisconsin-Madison. I study the art and science of program synthesis and verification. I'm a member of the madPL and quantum computing groups and the Wisconsin Quantum Institute.

My group is primarily focused on automatically synthesizing the software stack for future quantum computers. As physicists build better and better qubits, we need a powerful software stack that translates ideas to hardware. Following the classical computing software stack does not make sense in the 21st century, so we are pioneering a new, automated way. For more information, see our papers on compiler generation (e.g., Amaro, GUOQ), tutorials, and tools.

My group is also very interested in AI agent construction and correctness. Today, we're building agents in an ad-hoc manner, as an arbitrary amalgamation of models and tools, with no correctness or security guarantees and fixed and limited benchmarks. For more information, see our work on SkillOrchestra, SlopCodeBench, LiveResearchBench, and my book on neural network verification.

cv  ·  aws@cs.wisc.edu