conf.researchr.org / Steffen Smolka
![Steffen Smolka](https://conf.researchr.org/getProfileImage/steffensmolka/eaa0b061-5a25-40aa-b391-f5e5582fda9a/small.jpg?1714403491000)
Registered user since Fri 16 Jan 2015
Name:Steffen Smolka
Affiliation:Google
Personal website: https://smolka.st
X (Twitter): https://x.com/steffensmallcar
GitHub: https://github.com/smolkaj
Research interests:Programming Languages, Network Verification
Contributions