Projects

Alpha Warden is a Discord moderation bot trusted by 300+ servers to prevent bot attacks and manage access control with features like token-restricted roles and emoji verification. Its modern web dashboard makes it easy for server admins to configure and control the bot.

As the sole developer, this project has given me hands-on experience with a range of technologies and practices—building a full-stack app with TypeScript, discord.js, and Next.js, working with SQL and NoSQL databases, implementing user authentication, and managing deployment, hosting, and ongoing maintenance. It’s been a great exercise in building and operating a production-ready system.

MAZE is a dynamic symbolic execution engine for automated Java test generation. It analyzes JVM bytecode, systematically explores program paths using a mix of symbolic and concrete execution, and generates targeted unit tests to maximize code coverage.

I developed MAZE as part of my master’s thesis at Utrecht University. Written in Java, it supports various search strategies to explore program paths and can handle complex data structures. The thesis focuses on comparing the effectiveness of these strategies in achieving high code- and mutation coverage.

As part of my bachelor thesis, I worked in a team of eight to develop SecureSECO DAO—a decentralized autonomous organization for SecureSECO. My main focus was developing the web application and documentation site. Our work earned 2nd place in the DAO Global Hackathon 2023.

Having built my fair share of Discord bots, I developed a preferred project structure and several reusable utilities. I wanted to share this with the community, so I created a template that anyone can use to kickstart their own Discord bot project—complete with slash commands, event handling, pagination, and more, all written in TypeScript and now updated to run on Deno 2.

Other Projects

• Numerous automations and web scraping tools
• Three.js Boids simulation in Next.js
• Email inbox aggregator service (IMAP-based)
• Discord Server Cleaner bot
• University course projects:
  • Rust REST API and Python Kafka consumer (deployed to the cloud with Kubernetes and monitored using Prometheus + Grafana)
  • EV charging simulation in C#
  • Compiler and abstract machine for TI-BASIC 83 in Haskell
  • Bounded symbolic verification tool for GCL in Haskell
  • Shoot-em-up game in Haskell
  • Raytracer and rasterizer in C#