|
|
|
user: pavpanchekha
created: 2010-05-16
karma: 2745
My book: https://browser.engineeringCS 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
submissions:
|
|