PORTFOLIO

Here follows a selection of my most recent projects.

Smart E-Graphs

e-graphs, automated reasoning, semantic-aware optimizations

2026

Vegie

proof extraction, e-graphs, equality saturation

2026

Versioned E-Graphs

automated theorem proving, e-graphs, conditional reasoning

2026

Language Models Need Some Space

language models, code generation, constrained decoding

2026

Dis/Equality Graphs

automated theorem proving, e-graphs, disequalities

2025

Master Thesis

collective adaptive systems, event-driven simulation, aggregate computing, functional reactive programming

2024

Landscape Generator

deep learning, generative models, conditional variational auto-encoder, image generation

2023

Chess Microservices

devops, continuous integration, domain-driven design, microservices, web application, multiplayer game

2023

Relay Pong

real-time distributed systems, web application, multiplayer game

2022

Bachelor Thesis

home automation system, virtual assistant, social welfare services, gamification

2021