Skip to content

Top New Best Ask Show Jobs

tlringer | Better HN

tlringer

172 karmaJoined July 28, 201963 submissions

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