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
PLDI 2024-profile
View general profile
View general profile