University of Illinois at Urbana-Champagin

Automated Reasoning Group, AWS.

Associate Professor of Electrical and Computer Engineering, Purdue University

Professor of Computer Science, University of California, Los Angeles