Department Committee / Massachusetts Institute of Technology / Department of Electrical Engineering and Computer Science / /
Person
Derek Rayside / Jonathan Edwards / Alma / Sharad Malik / Mandana Vaziri / Felix Chang / Ilya Shlyakhter / Edina / Carlos Pacheco / Terry P. Orlando / Thesis Supervisor / Greg Dennis / Robert Seater / Daniel Jackson / Mana Taghdiri / David Karger / Thesis Supervisor Accepted / /
Position
Author / Supervisor / advisor / minimal unsatisfiable core extractor for the latter / Chairman / Professor / writer / researcher / advocate for my ideas / minimal unsatisfiable core extractor / /