pavpanchekha

has 2538 karma and joined 14 years ago

submissions / comments / favourites

My book: https://browser.engineering

CS Professor at the University of Utah. I study web browsers, floating point, programming languages, and automated reasoning.

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