Steffen Smolka

I work on automated switch validation & verification, and all things P4, at Google. Prior to joining Google full time, as an intern, I developed a static analysis tool for Google Cloud that now powers several features of Network Intelligence Center. I received a Ph.D. in Computer Science from Cornell University in 2019, where I worked with Nate Foster and Dexter Kozen on programming languages, compilers, and automated verification tools for making networks more programmable and more reliable. I also received a Bc.S. in Computer Science from Technical University of Munich in 2013, where I worked with Jasmin Blanchette and Topias Nipkow on integrating automated and interactive theorem provers.