Hacker News

User

pavpanchekha

Registered:9 years ago
Karma:1606
About:

CS Assistant Prof at the University of Utah (PhD UW '19; BS MIT '13), studying programming languages and automated reasoning about programs.

Website: pavpanchekha.com Email: me+hn@pavpanchekha.com