ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
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.

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

Contributions

Show activities from other conferences

ICFP 2022-profile
View general profile