Arthur Jaquard Graduate Student, IRIF Program Visits Theoretical Foundations of Computer Systems, Spring 2021, Visiting Graduate Student