Registered user since Sat 2 Sep 2017
Name:Kiko Fernandez-Reyes
Bio:
I was part of the programming languages research group at Uppsala University with specialisation in concurrent and functional programming languages, type systems, formal methods, core developer of the actor-based Encore programming language, and main lecturer of the course Advanced Software Design. Nowadays, I spent my days working for Klarna trying to make payments smoooth using Erlang and Haskell :)
Country:Sweden
Affiliation:Klarna
Personal website: https://www.plresearcher.com/
X (Twitter): https://x.com/kikofernandez
GitHub: https://github.com/kikofernandez
Research interests:type system, parallel programming, compilers
Contributions
ICFP 2022-profile
View general profile
View general profile