I'm Charles Averill, a Ph.D. student under Kevin Hamlen and Christophe Hauser at UT Dallas. I study formal verification, with interests in proof automation via stronger tactics, pure type theory, user-friendly verification, safe program transformations, formalized physics, invariant generation, etc. You can explore the majority of my projects on my Github page.
Visitor Count