Invited summer research project at IBM Research

I will join IBM Research for an invited summer project on “Principled Scientific Discovery with Formal Methods.” 🎯