I am a research programmer at IMDEA Software Institute, working with Niki Vazou.
I'm chiefly interested in programming language theory / formal methods (advanced type systems, program logics, formal specification, language design) and their usage in both systems (concurrency, distributed computing, cryptography, compiler & theorem prover construction) and applied programming (economic modeling, hybrid systems, probabilistic programming, bioinformatics). On the mathematical side, I prefer schools of thought that focus on compositionality and mechanization, such as synthetic / constructive mathematics and applied category theory.
Currently I work on extending and maintaining LiquidHaskell, a liquid type-based system for automated reasoning about purely functional programs. I also co-maintain FCSL, FCSL-PCM and HTT projects, all of which are related to separation logic, a formalism for reasoning about stateful programs.
My CV can be found here.
Find the schedule and reading list for Programming Languages Reading Group at IMDEA here.