Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Pavel Panchekha

Registered user since Sun 10 May 2015

Name:Pavel Panchekha

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. He completed his PhD at the Paul G. Allen School for Computer Science and Engineering at the University of Washington, where he was advised by Michael D. Ernst and Zachary Tatlock. He has been awarded fellowships by the NSF, the ARCS foundation, Adobe Research, and the Wissner-Slivka foundation, and received his BS in mathematics from MIT. His paper on the Herbie numerical analysis and repair tool won the 2015 Distinguished Paper Award at PLDI. His research focuses on developing programming language techniques to meet challenges from all areas of computer science.

Country:United States
Affiliation:University of Utah
Personal website:https://pavpanchekha.com
Research interests:Program Synthesis, Verification


POPL 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
egg: Fast and Extensible Equality Saturation
Artifact Evaluation Co-Chair in Organizing Committee
Show activities from other conferences

POPL 2021-profile
View general profile