Postdoc researcher at Charles University (Prague), working on type systems and dynamic programming languages.
Location:France