![Jan Stolarek](https://icfp22.sigplan.org/getProfileImage/janstolarek/b39bf38c-9a0b-4ee8-9a67-f5d9d98b66c7/small.jpg?1711489794000)
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
Personal website: http://ics.p.lodz.pl/~stolarek
Research interests:functional programming, type systems, compilers, formal verification
Contributions
ICFP 2022-profile
View general profile
View general profile