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