$$ \usepackage{amssymb} \newcommand{\N}{\mathbb{N}} \newcommand{\C}{\mathbb{C}} \newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\ZZ}{\ooalign{Z\cr\hidewidth\kern0.1em\raisebox{-0.5ex}{Z}\hidewidth\cr}} \newcommand{\colim}{\text{colim}} \newcommand{\weaktopo}{\tau_\text{weak}} \newcommand{\strongtopo}{\tau_\text{strong}} \newcommand{\normtopo}{\tau_\text{norm}} \newcommand{\green}[1]{\textcolor{ForestGreen}{#1}} \newcommand{\red}[1]{\textcolor{red}{#1}} \newcommand{\blue}[1]{\textcolor{blue}{#1}} \newcommand{\orange}[1]{\textcolor{orange}{#1}} \newcommand{\tr}{\text{tr}} \newcommand{\id}{\text{id}} \newcommand{\im}{\text{im}\>} \newcommand{\res}{\text{res}} \newcommand{\TopTwo}{\underline{\text{Top}^{(2)}}} \newcommand{\CW}[1]{\underline{#1\text{-CW}}} \newcommand{\ZZ}{% \ooalign{Z\cr\hidewidth\raisebox{-0.5ex}{Z}\hidewidth\cr}% } % specific for this document \newcommand{\cellOne}{\textcolor{green}{1}} \newcommand{\cellTwo}{\textcolor{red}{2}} \newcommand{\cellThree}{\textcolor{brown}{3}} \newcommand{\cellFour}{\textcolor{YellowOrange}{4}} $$

About

I am Luca Leon Happel, a 24-year-old Student in Düsseldorf and a top-100 on GitHub in categories like physics-engines and rigid-body-dynamics. My interests include mathematics, computer science, technology and lots more. I work as a programmer (AI-dev./server admin/fullstack dev./…) and cofounder for monti:

Education

Achievement Place Duration
PhD. in Computer-Science HHU Düsseldorf 2026-*
M.Sc. in Mathematics HHU Düsseldorf 2022-2026
B.Sc. in Computer-Science HHU Düsseldorf 2018-*
B.Sc. Mathematics HHU Düsseldorf 2018-2022
Abitur (Gymnasium) Gymnasium an der Gartenstraße 2010-2018
Note

I finished all courses for my bachelors degree in computer science, but skipped it to instead do a PhD in computer science after my masters degree in mathematics.

Conferences

Conference Date Place Description
Homology Growth in Topology and Group Theory 2024 Bonn We discussed various advanced topics in topology and group theory. I attended this conference in preparation for my masters thesis.
Lean for the Curious Mathematician 2023 Düsseldorf We discussed Lean, a theorem prover and functional programming language. I implemented the code for exterior algebras in Lean with a small team of professors and Eric Wieser
KoMa (conference of german speaking mathematics student associations) 2022 Jena We discussed general mathematics, studying mathematics at german universities and the future of mathematics. I discussed differential forms especially

Work experience

Experience Employer Duration
Research Associate (Full-time) (official title: “Wissenschaftlicher Mitarbeiter in Vollzeit”) at the monti project Univ.-Prof. Dr. Sascha Dietrich, Department of Hematology, Oncology, and Clinical Immunology, Düsseldorf University Hospital 2022-*
SHK for abstract algebra Heinrich Heine University Düsseldorf 2022-2022
Research assistant for computer-aided linear algebra Heinrich Heine University Düsseldorf 2021-2022
Research assistant for computer-aided linear algebra Heinrich Heine University Düsseldorf 2020-2021
Lifeguard NEW Volksbad Mönchengl. 2018
2-week work internship ProVita 2017

Awards

Award Source Date
HHU/CEDUS Ideenwettbewerb (two times 1# place for monti, our AI startup) https://www.instagram.com/p/Cur3k_1M70h/ 2023
Winner of “best game under development” with “Relic Hunters Zero” Brazilian indie games festivals 2015 2015
Top-100 physics-engine programmer xscode.com archive.org 2021
Top-100 rigid-body-dynamics programmer xscode.com archive.org 2021
Top-1000 canvas-technology developer xscode.com archive.org 2021
Top-150.000 programmer xscode.com archive.org 2021

Languages

  • German: Native
  • English: Fluent (written and spoken)
  • French: Basic knowledge
  • Russian: A2/B1
  • Turkish: A2

Qualifications

  • Programming Paradigms: Proficiency in various programming paradigms, including functional programming (Haskell, Nix, …), imperative programming (Python, C/C++/Rust, Java, …), and theoretical foundations (Type Theory, Lambda Calculus, …), as well as their implementations (Lean4, Idris, …).
  • experience in medical software development and regulatory requirements
    • Developer for medical smartwatch manufacturers MMT and Corsano
LinkedIn Github Instagram Reddit