tlringer

172 karma · joined July 28, 2019

Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es