pavpanchekha
has 2659 karma and joined 15 years ago
has 2659 karma and joined 15 years ago
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