Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
- Champaign, IL
- https://dependenttyp.es
- @TaliaRinger
Earned achievements
Quickdraw
Quickdraw
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading
Starstruck
Starstruck
Loading