tlringer

Karma: 172

Joined: almost 6 years ago

ID: tlringer

About

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

Visit submission history to see stories and comments by tlringer.