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 2017 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Cantor Meets Scott: Semantic Foundations for Probabilistic Networks
Show activities from other conferences

POPL 2017-profile
View general profile