PhD Researcher and LecturerUniversity of Montpellier
2015 - 2018
Junior Full-Stack DeveloperOpen Management Systems
2014 - 2015
Life in data
1 of 4 goals met in October
259 / 300
contributions
4 / 12
training days
30 / 20
tasks done
0 / 2
pieces written
AprMayJunJulAugSepOct
Code
Training
Building
Writing
Weekly counts, last 26 weeks. Code from GitHub, the rest from Ananke and Mnemo.
Less More
Momentum
+13 building
+300-30
AugSepOct
Every day gets a rating: a good one adds, a bad one subtracts, capped at ±30. The line is where the recent days leave me. From Ananke; gaps are days without a rating.
A Rust fork of the Zed editor, built as a cockpit for running many AI coding agents at once: a live registry of every agent across windows, a GPU-drawn status bar, and jumps to the agent that needs attention.
My own apps on my own infrastructure: Mnemo, a todo app that draws projects as galaxies with an API for AI assistants; Ananke, life objectives and habits; Phorcys, training.
04
Security research
Found a signature-validation flaw in a widely used smart-account module.
Research
Defeasible reasoning for existential rules
PhD thesis, 2018: what a system should conclude when its data disagrees. First-author papers at AAAI and AAMAS.