Person. Adam Chlipala Massachusetts Institute of Technology · adam.chlipala.net PhD advisorGeorge Necula Postdoc advisorGreg Morrisett PhD studentsSamuel Gruetter PhDUniversity of California, Berkeley Master’sUniversity of California, Berkeley UndergraduateCarnegie Mellon University