Hey, I am Mauritz Orlinski

Student of CS at TU Munich and Maths at LMU

About Me

I'm Mauritz, and here are some facts about me

I love Maths and Computer Science
In my spare time I like to develop some side projects of mine
I'm mostly interested in formal methods, their applications, and also high-performance systems
My hobbies are climbing, hiking and making music

Computer Science B.Sc.

at Technical University Munich

Oct. 2023 -
Now

Mathematics B.Sc.

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

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

A proof assistant for verification of OCaml-like programs focusing on simplicity for teaching students about formal verification

GitHub Project Website

An interpreter for a small logic subset supporting propositions (functions) and variables, written in OCaml

An implementation of a concise hashtable written in C

Full-stack web development for an art project for the LINE Biennial in Yerevan