Person. Lucas Wagner Assistant Professor · University of Illinois at Urbana-Champaign · 0000-0002-3755-044X PhDNorth Carolina State University UndergraduateNorth Carolina State University Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb