Ausbildung & Projekte
Bachelor of Science (Informatik) - RWTH Aachen
Studium an der RWTH Aachen mit diversen praktischen Projekten
> Mehr Infos
Haskell
Prolog
Java
C
HTML
CSS
JavaScript
Git
GitHub
Docker
MySQL
Postman
Bachelorarbeit zum Thema Programmverifikation
Abschlussarbeit mit dem Titel "Proving Satisfiability of Constrained Horn Clauses using Acceleration Driven Clause Learning" inkl. Programmierung eines Tools zur Programmverifikation in C++
> Mehr Infos
C++
Git
Entwicklung der Website für die Week of Charity
(Weiter-)Entwicklung der Website für die Week of Charity 2023 inkl. Konfiguration eines Content Management Systems
> Mehr Infos
React
TypeScript
Tailwind
CSS
Directus
GitHub
Entwicklung der Website für die vdla brd Gewerkschaft
Design, Entwicklung und Einrichtung eines eigenen WordPress Themes für die Fachgruppe Bezirksregierung Düsseldorf der vdla Gewerkschaft
> Mehr Infos
PHP
HTML
CSS
WordPress
Bachelor of Science (Informatik) - RWTH Aachen
Studium an der RWTH Aachen mit diversen praktischen Projekten
> Mehr Infos
Haskell
Prolog
Java
C
HTML
CSS
JavaScript
Git
GitHub
Docker
MySQL
Postman
Bachelorarbeit zum Thema Programmverifikation
Abschlussarbeit mit dem Titel "Proving Satisfiability of Constrained Horn Clauses using Acceleration Driven Clause Learning" inkl. Programmierung eines Tools zur Programmverifikation in C++
> Mehr Infos
C++
Git
Entwicklung der Website für die Week of Charity
(Weiter-)Entwicklung der Website für die Week of Charity 2023 inkl. Konfiguration eines Content Management Systems
> Mehr Infos
React
TypeScript
Tailwind
CSS
Directus
GitHub
Entwicklung der Website für die vdla brd Gewerkschaft
Design, Entwicklung und Einrichtung eines eigenen WordPress Themes für die Fachgruppe Bezirksregierung Düsseldorf der vdla Gewerkschaft
> Mehr Infos
PHP
HTML
CSS
WordPress