Kiko Fernández-Reyes

PhD student at Uppsala University. My main work focuses on parallel programming, speculative computations, type systems, compilers and formalisms.

I am a core developer of the parallel actor-based Encore language and the main developer of the ParT types in Encore.