Education
Skills
-
Tech Skills
- Linux
- Systems Programming
- Web Development
- Computer Networks
- Software Engineering
- Functional Programming
- UI/UX Design
- Formal Methods
- Object Oriented Prog.
- Database Modeling
- Parallel Programming
- Distributed Systems
- Windows
-
Programming languages
- Rust
- Kotlin
- Java
- C
- C++
- Haskell
- Python
- OCaml
- JavaScript
- Go
-
Soft skills
- Team Management
- Negotiation
- Project Management
- Public Speaking
- Event Organization
Projects
-
VM for stateless model-checking
A new interpreter and VM for the GenMC project to improve verification speed
-
μIndex
A minimalistic Android Launcher
-
crabtype
A terminal type racing game written in Rust
-
Lang
A compiler I wrote as my highschool thesis
-
www-term
My old personal website with a shell like interface (A rewrite is in progress)
-
tictactoe-asm
A tictactoe written in Assembly
Experience
Languages
-
German
Native proficiency
-
English
Bilingual proficiency
-
French
Limited working proficiency