mini-ml
2022Ein Lambda-Kalkül-Typechecker und -Evaluator: Hindley-Milner-Typinferenz, Unifikation und Auswertung, geschrieben in F#.
- F#
- .NET
- Hindley-Milner
Lanathanel
Backend-C#/.NET-Entwickler
Drei Jahre im Corporate & Investment Banking, an Treasury- und danach Market-Data-Systemen. In der übrigen Zeit schreibe ich Rendering-Engines, Typechecker und Automaten.
Aktuell — Backend-Entwickler an einer Market-Data-Plattform — Natixis CIB
Ein Lambda-Kalkül-Typechecker und -Evaluator: Hindley-Milner-Typinferenz, Unifikation und Auswertung, geschrieben in F#.
Eine Neuimplementierung des egrep-Befehls: Parsen regulärer Ausdrücke, NFA-Konstruktion und anschließende Determinisierung zum DFA.
Ein persönlicher Budget-Manager, den ich entworfen, gebaut und auf meinem eigenen Server deployt habe — und täglich nutze.
Ein selbst administrierter VPS: ein Dutzend containerisierter Dienste, Reverse Proxy, VPN, private NuGet-Registry und Backups. Diese Seite gehört dazu.
Eine kleine, von Grund auf geschriebene Rendering-Engine als Basis für die Creative-Coding-Projekte unten.
April 2026 — heute · Paris
Natixis CIB
Entwicklung einer Market-Data-Plattform, die statische und dynamische Daten an die gesamten Equity- und Pre-Trade-Bereiche der Bank ausliefert.
November 2023 — März 2026 · La Défense
SG Corporate & Investment Banking
Internes Treasury- und Kurzfrist-Risikomanagement-Tool für Treasurer in London, Paris und Tokio. Migration von .NET Framework auf .NET 8 und vom Desktop-Client ins Web, bei hohem Datenvolumen.
September 2022 — Oktober 2023 · Paris
Budgetbox
Konzeption und Auslieferung des neuen Filial-Stammdatensystems, von der Anforderungsaufnahme bis zur Produktion: Technologieauswahl, Datenmodell, Kotlin-API, Angular-Frontend, CI/CD und Kubernetes-Deployment. Architektur dem CTO präsentiert.
März 2020 — August 2020 · Constantine
Fablab — Université Abdelhamid Mehri
Entwicklung und Wartung der Fernlern-Anwendung des Informatik-Fachbereichs.
September 2022 — September 2023 · Paris
Sorbonne Université
Schwerpunkt Software Science and Technology: Typisierung und statische Analyse, objektorientierte und funktionale Programmierung, Zufallsgenerierungsalgorithmen.
September 2021 — Juli 2022 · Paris
Université Sorbonne Paris Nord
Datenbanken und Big Data, fortgeschrittene Datenstrukturen, verteilte Programmierung und Systeme, Compilerbau.
September 2017 — Juli 2020 · Constantine
Université Abdelhamid Mehri
Schwerpunkt Software Engineering.
Île-de-France, Frankreich