Bernardo Anibal Subercaseaux Roa Doctoral Research Assistant Website ORCiD Google Scholars Link Office 6207 Gates and Hillman Centers Email bersub@cmu.edu Department Computer Science Department Research Interests Theory Thesis Advisor Marijn Heule