| user: | pavpanchekha |
| created: | 16 years ago |
| karma: | 2703 |
| about: | 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 |