Pavel Panchekha

By

Share under CC-BY-SA.

Pavel Panchekha

me-square.jpg

I am Pavel Panchekha. I apply programming languages techniques to web browsers and numerical analysis at the University of Utah.

I am recruiting PhD students. Get in touch!

Nov 2023: Congratulations to Dr. Ian Briggs, who just defended his Ph.D. and is soon starting a formal methods job in Amazon's hardware group.

Jan 2024: Thank you to the POPL 2024 PC chair & associate chairs for awarding MegaLibm a Distinguished Paper award!

Web browsers

I research web browser internals. Past projects include:

I am writing a textbook on web browsers, which inspires a lot of these projects.

Automated numerics

I also work on automatic numerical analysis. Past projects include:

I lead the FPBench and Herbie projects, where a lot of my research is deployed.

Students

I am currently advising Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Artem Yadrov (MS), Zane Enders (BS), Jackson Brough (BS), Jesus Ponce (BS), and Jonas Regehr (BS).

I have previous advised or mentored Ian Briggs (PhD), Cooper G. Coradeschi (BS), Yash Lad (MS), Pranav Shenoy (MS), Yuvaraj Chesetti (MS), Ayushi Sharma (MS), Oliver Flatt (BS), Nathan Davis (MS), Skyler Griffith (BS), William Shupe (MS), JJ Garzella (BS), David Thien (BS), Adam T. Geller (BS), Jason (Chen) Qiu (BS), Alex Sanchez-Stern (BS).