Hey, I am Mauritz Orlinski

Student for Computer Science at TU Munich and Maths at LMU

Image of Mauritz Orlinski

About Me

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

Curriculum Vitae

Alternatively as a PDF

Education

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

Work Experience

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

Publications

OshrEQ: A Lightweight Proof Assistant for OCaml-like Program Verification with Equational Reasoning

Mauritz Orlinski, Chuyang Wang, Clemens März, Lukas Bilstein, and Victor Tipkemper

2025, OshrEQ Website

(Some) Projects

OshrEQ

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

propolog

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

cht

An implementation of a concise hashtable written in C

Mountain Air Viewer

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