Jan Stolarek

Registered user since Tue 4 Apr 2017

Name: Jan Stolarek

Bio: I am a Research Associate at Laboratory for Foundations of Computer Science, University of Edinburgh, UK. I am on a sabbatical leave from Instytut Informatyki (Institute of Information Technology), Politechnika Łódzka (Łódź University of Technology), Poland.

Country: United Kingdom

Affiliation: University of Edinburgh, UK

Personal website: http://ics.p.lodz.pl/~stolarek

Research interests: functional programming, type systems, compilers, formal verification

Contributions

POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
‹Programming› 2018Author of Language-integrated provenance in Haskell within the Research Papers-track
HIW 2017Session Chair of Compiling to LLVM (part of HIW 2017)
Committee Member in Program Committee within the HIW 2017-track
ICFP 2017Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track
POPL 2018Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track