Prof. Grigore Rosu

Formal Verification Lead
Professor of Computer Science
University of Illinois at Urbana-Champaign