Charles Averill's Cool Stuff

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.

My Résumé - My Curriculum Vitae

My Publications

My Writings

Teaching

Combinator Calculus

My Bookshelf

Projects

Helpful Scripts

Miscellaneous

Click here!