I'm Mauritz, and here are some facts about me
Computer Science
at Technical University Munich
Oct. 2023 -
Now
Mathematics
at Ludwig-Maximilian-University Munich
Oct. 2024 -
Now
Mathematics and Computer Science
at Heinrich Heine University Düsseldorf (HHU) as a "Schülerstudent" (Pupil taking University courses)
Oct. 2021 -
Oct. 2023
Abitur (A-Levels)
focusing on Mathematics and Computer Science
Oct. 2023
Software-Developer
at Algonautin
Sep. 2023 -
Sep. 2024
Internship in Satellite Control at the GSOC
at DLR (Deutsches Zentrum für Luft- und Raumfahrt e.V.) in Oberpfaffenhofen
Jul. 2024 -
Aug. 2024
Mauritz Orlinski, Chuyang Wang, Clemens März, Lukas Bilstein, and Victor Tipkemper
2025, OshrEQ Website
A proof assistant for verification of OCaml-like programs focusing on simplicity for teaching students about formal verification
An implementation of a concise hashtable written in C
Full-stack web development for an art project for the LINE Biennial in Yerevan