pavpanchekha
Member since 2010
•
Karma: 2,730
•
447 submissions
My book: https://browser.engineering<p>CS Professor at the University of Utah. I study web browsers, floating point, programming languages, and automated reasoning.<p>Website: pavpanchekha.com
Email: me+hn@pavpanchekha.com