Pavel Panchekha
I am Pavel Panchekha. I apply programming languages techniques to web browsers and numerical analysis at the University of Utah.
Research
Web Browsers and Web Applications
- Specify, synthesize, and test layout engines
- Automatically and modularly verify layout accessibility
Numerical Analysis and Accuracy Repair
- Improve accuracy for floating-point expressions
- Sound static analysis of expression accuracy
- Community benchmarks, tools, and standards
Side projects
- Better Wi-Fi bit-rate adaptation
- Recording and visualizing my time use
- Ploting complex functions in high resolution
Teaching
Web Browser Engineering
- How a web browser works, from top to bottom
- Following my textbook, plus advanced material
Software Verification
- Proving that a program does not have (certain) bugs
- Focus on SMT-aided theorem proving
Students
- Ian Briggs (PhD)
- William Shupe (MS)
- Oliver Flatt (BS)