Career Profile

With hands-on experience in software development since 2011 and a strong academic background in computer science from the University of Salzburg, I have cultivated a deep expertise in designing and maintaining scalable software solutions. Alongside my practical work, I have contributed extensively to academia as a tutor and teaching assistant, helping students master complex concepts in programming and formal systems. This combination of practice and academic mentoring allows me to bridge theory and application effectively, ensuring both innovation and educational impact.

Professional Experiences

Guest Lecturer (Anticipated)

University of Salzburg
Oct 2025 - Mar 2026

Guest lecturer for the course “Introduction to Programming”:

  • Co-design assignments aligned with curriculum goals.
  • Deliver weekly seminars on programming fundamentals (Java).
  • Create/grade tests and assignments with constructive feedback.
  • Coordinate teaching strategies in weekly lecturer meetings.

Faculty Assistant for Public Relations

University of Salzburg
Oct 2023 - Feb 2025
  • Represented the faculty at nationwide student fairs and outreach events, consistently ranking among the top presenters based on student feedback.
  • Designed promotional materials (flyers, posters, banners) with Adobe Creative Suite.
  • Delivered presentations on studying computer science and university life.

Academic Tutor

University of Salzburg
Oct 2021 - Feb 2025

I supported students in programming, formal logic, and related computer science courses through technical development, instruction, and scalable teaching tools.

  • Designed and implemented a modular framework for automated grading of programming assignments, significantly decreasing student support requests and cutting test implementation time; the system remains in ongoing use at the university.
  • Developed test cases in collaboration with instructors, ensuring clear, beginner-friendly feedback for students.
  • Led weekly support sessions (in-person, remote, hybrid) ranging from one-on-one help to lecture-style reviews.
  • Oversaw exams and built tools to detect plagiarism and AI-generated work.

This role combined software engineering with academic mentorship, enhancing both learning outcomes and instructional efficiency.

Teaching Assistant

University of Salzburg
Oct 2020 - Feb 2021

During the pandemic, I contributed to the creation of comprehensive lecture materials for the Formal Systems course to help support students facing challenges with remote learning. I prepared structured, clear content in LaTeX, covering all major topics of the course - including logic, formal languages, automata theory, and proof systems.

Open Source Software Developer

Alone or in Collaboration
Since Dec 2011

Developed and maintained a suite of Minecraft mods (among other projects) for over a decade, resulting in over 25 million downloads across multiple platforms.

  • Designed, implemented, and iterated on gameplay features, performance optimizations, and custom systems using Java and Minecraft’s modding APIs (Modloader, ModloaderMP, Forge, NeoForge, etc.).
  • Built and maintained a strong user community through documentation, updates, and responsive issue tracking.
  • Managed all stages of the software lifecycle: design, development, testing, deployment, and ongoing support.
  • Collaborated with other developers in the modding community; some projects were team-based, requiring coordination using Git and project management tools.
  • Continuously adapted to changes in the underlying Minecraft engine and modding frameworks over more than a decade.

Selected Projects

A selection of projects. For a full and categorized list, please refer to the home page of my GitHub profile (linked in the sidebar).

CTL Model Checker - A simple CTL model checker written in go that represents an immediate theory conversion into practice.
selfie System - I am a big contributor of the selfie project at the department of computer sciences of the University of Salzburg in Austria - an educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
Project Reality Stats - Prototype for player stats tracking in Go, built while I was still learning. A GitHub Actions runner fetches new 2D replays every 24h, parses them, stores data in per-player JSON, and generates per-player HTML pages. DogTag images are now rendered via HTML5. The runner commits, pushes, and auto-deploys everything. A fun but cursed prototype with plenty of quirks. Source code is private to avoid misuse (e.g., “negative” leaderboards).
Spells & Shields - A modification for Minecraft that provides the ability to edit, or design and create spells using a custom scripting language based in JSON. Comes with a ton of documentation (GitHub wiki) and a bunch of compatibility features/mods for other modifications.
goset - Public go package that offers a generic set type with set arithmetic.

Academic Theses

Master's Thesis
Design and Implementation of a Template-Based System for Flexible Smart Home Automation
Bachelor's Thesis
Automated Testing of Atomic Instruction (LR/SC) Implementations in Selfie

Skills & Proficiency

Programming

Expert
  • Java (8+), JUnit
Highly Proficient
  • Go
  • Git (Bash), GitHub (Actions)
Experienced & Confident
  • Python
  • SQL, PostgreSQL, JDBC
  • Docker (Hub)
  • gRPC, proto
  • RISC-V Assembler
  • Racket
Beginner
  • C, C++, C#
  • Dart, Flutter
  • Prolog
  • HTML5, CSS, JavaScript

Tools & Misc.

Fluent
  • Jetbrains Suite (IntelliJ, GoLand, PyCharm)
  • Eclipse
  • LaTeX
  • Adobe Creative Suite
  • Office 365