Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Jan Stolarek

Registered user since Tue 4 Apr 2017

Name:Jan Stolarek

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.

Affiliation:University of Edinburgh, UK
Research interests:functional programming, type systems, compilers, formal verification


HIW 2017 Session Chair of Compiling to LLVM (part of HIW 2017)
Committee Member in Program Committee within the HIW 2017-track
ICFP 2017 Imperative Functional Programs That Explain Their Work
Show activities from other conferences

ICFP 2017-profile
View general profile