$$ \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 Me

LinkedIn Github Instagram Reddit Consulting

I am Luca Leon Happel — mathematician, computer scientist, and security researcher based in Düsseldorf.

For over a decade I have worked at the intersection of mathematics and computer science, auditing software deployed in the most heavily regulated environments worldwide: medical devices, clinical systems, and life-critical infrastructure. I have detected and remediated critical security flaws that others missed — not through intuition alone, but through the mathematical rigour that formal methods and deep-tier analysis demand.

I am completing my M.Sc. in Mathematics (HHU Düsseldorf, April 2026), after which I will begin my PhD in Computer Science. I am a Research Associate at the monti project — a medical AI initiative at Düsseldorf University Hospital — where I develop and secure software operating under strict regulatory requirements.

For confidential security consultations, reach me at [email protected].

Education

Degree Institution Period
PhD in Computer Science HHU Düsseldorf Apr 2026 –
M.Sc. in Mathematics HHU Düsseldorf 2022 – Apr 2026
B.Sc. in Computer Science HHU Düsseldorf 2018 –
B.Sc. in Mathematics HHU Düsseldorf 2018 – 2022
Note

I completed all coursework for the B.Sc. in Computer Science and transitioned directly into doctoral research following my M.Sc. in Mathematics.

Work Experience

Role Organisation Period
Research Associate (full-time) Dept. of Hematology, Oncology & Clinical Immunology, Düsseldorf University Hospital (monti) 2022 –
Teaching Assistant – Abstract Algebra Heinrich Heine University Düsseldorf 2022
Research Assistant – Computer-Aided Linear Algebra Heinrich Heine University Düsseldorf 2020 – 2022

Conferences

Conference Year Location Notes
Homology Growth in Topology and Group Theory 2024 Bonn Advanced topics in topology and group theory; attended in preparation for master’s thesis
Lean for the Curious Mathematician 2023 Düsseldorf Implemented exterior algebras in Lean4 with a team including Eric Wieser
KoMa 2022 Jena Presented on differential forms at the conference of German-speaking mathematics student associations

Awards

Award Source Year
HHU/CEDUS Ideenwettbewerb — 1st place (×2) for monti HHU 2023
Best Game Under Development — “Relic Hunters Zero” BIG Festival 2015 2015

Technical Profile

  • Security & Formal Methods: Vulnerability research in regulated and life-critical software; formal verification; theorem proving (Lean4, Idris)
  • Mathematics: Algebraic topology & geometry, differential geometry, \(L^2\)-invariants, model theory
  • Programming: Rust, Haskell, Lean4, Python, C/C++, Nix — spanning functional, systems, and scientific computing stacks between research and industry and from low-level embedded to very high-level languages with a focus on formal methods and security
  • Medical Software: MDR-compliant development; clinical data pipelines; medical device software (Corsano, MMT, monti)
  • Languages: German (native), English (fluent), French (basic), Russian (A2/B1), Turkish (A2)