Hacker News new | past | comments | ask | show | jobs | submit login
user:pavpanchekha
created:May 16, 2010
karma: 1692
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

submissions
comments
favorites