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:Poland

Affiliation:University of Edinburgh, UK

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