misc

Job Market Resources

If you're on the job market, you must take a look at Nicolas Papernot's and Elissa Redmiles' guide.
You can also find my material here: Research Statement, Teaching Statement, Diversity Statement, Service Statement, and CV.

Coq Installation Guide for Windows through WSL2 + OPAM

I've helped many students install Coq in windows and successfully avoid CoqIDE, so I wrote up those instructions here in case anyone else finds them useful.