Lisa is a 3rd year PhD student advised by Yael Kalai and Vinod Vaikuntanathan at MIT. Her research interests are, broadly, in using mathematical and abstract notions to conceptualize and develop human understanding of reality, e.g. in applying TCS to physics. She completed her BS in Mathematics at MIT and her previous research focused on proof systems.