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

• Graph Shepherding Algorithms
• DEFFS
• Purple
• Dinosaur Island
• Bird And Beans
• Adventure Time: Card Wars Dominion
• Turing
• Transcriptions of "The International Library of Music" Public Domain Sheet Music

Helpful Scripts

• C Scripts
• Bash Scripts
• Unity Scripts
• TI-BASIC Scripts

Miscellaneous

• My Record Collection
• Where Have I Been?

• Visitor Count