Pavel Panchekha

By

Share under CC-BY-SA.

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation.

Pavel Panchekha

me-square.jpg

I am Pavel Panchekha (CV). I automate tasks from web design to numerical analysis using programming language techniques together with my advisors Mike and Zach at UW CSE.

I will be a professor at the University of Utah this fall.

Cassius: Verifying Web Page Layout Github

Herbie: Improving Numerical Accuracy Github

Other Papers

Side Projects

Blog