I'm interning at Google Switzerland this fall

About two weeks ago I started my internship as a Student Researcher at Google. There, I am working on the Aeneas verification tool, together with Jonathan Protzenko.

I’m excited to find out what it is like to work for such a big company, compared with my current job as a Ph.D. student at ETH. Let’s see!