Max Fan

Max is a junior graduating this year. He is a past recipient of the Barry M. Goldwater scholarship. He currently conducts programming languages research under Professor Talia Ringer in the Illinois Theorem Provers lab.