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. 🎉👏🦀