Curious and fond of problem solving, I have a soft spot for learning and teaching mathematics.
My main interests are logic, set theory, descriptive set theory and complexity theory.
Curriculum Vitae
Always eager to learn how computers work, my playground is filled with algorithms, language design, formal verification, distributed systems and procedural generation.
Gitlab projects
I love to create colorful and visually pleasing experiences, and sharpen my problem solving at the same time.
Showcase