Hi ! You've landed on my personal website.

I'm currently a PhD Candidate at the Leiden Institute of Advanced Computer Science studying automata theory under the supervision of Tobias Kappé and Marcello Bonsangue. My research interests include Stone-like dualities, algebra and coalgebra, category theory, and intuitionistic/modal logic.

I'm in the process of reworking this website (as of Dec 2025), so for now, send me an email if you need any info.

dqalvarez [at] proton [dot] me