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

Computer Science Enthusiast

Always eager to learn how computers work, my playground is filled with algorithms, language design, formal verification, distributed systems and procedural generation.

Gitlab projects

Game Developer

I love to create colorful and visually pleasing experiences, and sharpen my problem solving at the same time.