Registered user since Fri 16 Jan 2015
Name: Steffen Smolka
Affiliation: Cornell University
Personal website: http://www.cs.cornell.edu/~smolka/
Contributions
| POPL 2017 | Committee Member in Artifact Evaluation Committee Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile