Pavel Panchekha


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


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