POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Steffen Smolka
Steffen Smolka

Registered user since Fri 16 Jan 2015

Name: Steffen Smolka

Affiliation: Cornell University

Personal website: https://smolka.st

Contributions

POPL 2017Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
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