Institution. SkyLabs AI People Gregory Malecha gregorymalechaDirector of Formal Methods · SkyLabs AI PhDHarvard University UndergraduateRice University gmalecha.github.io · 0000-0003-3952-0807