Steffen Smolka

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.

Research Areas

Authored Publications
0 results

Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    Google
KATch: A Fast Symbolic Verifier for NetKAT
Mark Moeller
Jules Jacobs
Olivier Savary Belanger
David Darais
Cole Schlesinger
Steffen Smolka
Nate Foster
Alexandra Silva
Programming Languages and Implementation (PLDI) (2024) (to appear)
SwitchV: Automated SDN Switch Validation with P4 Models
Kinan Dak Albab
Jonathan Dilorenzo
Stefan Heule
Ali Kheradmand
Steffen Smolka
Konstantin Weitz
Muhammad Tirmazi
Jiaqi Gao
Minlan Yu
SIGCOMM 2022 (2022)
Search on Google Scholar