![Steffen Smolka](https://pldi15.sigplan.org/getProfileImage/steffensmolka/58462854-d434-4e71-9643-024c523d4d05/small.jpg?1712133475000)
Registered user since Fri 16 Jan 2015
Name:Steffen Smolka
Country:Germany
Affiliation:Cornell University
Personal website: http://www.cs.cornell.edu/~smolka/
Contributions
PLDI 2015-profile
View general profile
View general profile
Registered user since Fri 16 Jan 2015
Contributions