Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
- Champaign, IL
- https://dependenttyp.es
- @TaliaRinger
Search results
0 open and 0 closed projects found.-
There aren't any projects yet