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 at the University of Utah.

Cassius: Verifying Web Page Layout Github

Herbie: Improving Numerical Accuracy Github

Other Papers

Side Projects

Blog