Alexa VanHattumI successfully defended my PhD thesis yesterday!
An unbounded thank you to the best advisor, Adrian Sampson @adrian, and my wonderful committee, collaborators, mentors, cohort, labmates, and my community outside of grad school that made this possible✨
Adrian Sampson (@[email protected])
Attached: 1 image Gigantic congratulations to Prof. Dr. @avanhatt, who successfully defended today!!!! She has done a truly awesome series of super-practical applications of formal methods to compilers and things—stuff people will be using and building on for a long time. 🎉👏🦀
Greg Wilson