My name is Naïm Camille Favier (/na'im ka.mij fa.vje/, na-EEM).
My pronouns are he, they, or anything else.
My native language is French.
Here's an actual picture of me.
Since 2024, I have been a PhD student in the Logic and Types unit at Chalmers University of Technology in Gothenburg, Sweden, working on formalising the metatheory of type theory. My supervisor is Nils Anders Danielsson.
My scientific interests revolve around the computational trilogy: the interplay between the seemingly distant fields of computer science, logic and geometry. More specifically, I am interested in:
My PGP key has fingerprint F3EB 4BBB 4E71 99BC 299C D4E9 95AF CE82 1190 8325.
Various things I like or find useful.
Knowledge. Wikipedia. Sci-Hub and Library Genesis. Internet Archive. Library of Babel.
Mathematics. nLab. 1Lab. agda-unimath. The HoTT Book. The HoTT Game. Symmetry. Principles of Dependent Type Theory. The Clowder Project. Kerodon.
Web comics. xkcd. Existential comics. Zviane.
“Philosophy”. Structuralism. Use–mention distinction. Presupposition. 無. Zen.
Mathematical nonsense. mLab. The Art of Baskerville. Unintentional type theory. Mustard watches. halloweenmath. Falso. Locus Solum, appendix B (okay, maybe that one isn't complete nonsense).
Other nonsense. Jabberwocky. Bill Wurtz. Music With Timing Devices. ???.
Music. I play the piano and have a classical background, but I mostly listen to jazz/fusion and progressive rock/metal these days.
Classical. Sergei Rachmaninoff. Frédéric Chopin. César Franck. Johann Sebastian Bach. Igor Stravinsky. Edvard Grieg.
Jazz/fusion. Tigran Hamasyan. Hiromi Uehara. Jesús Molina. Mei Semones. Eldar Djangirov. Avishai Cohen. Əzizə Mustafazadə. DEZOLVE. KNOWER. mouse on the keys. Rafa Rodriguez. Les Doigts de l'Homme. Mohini Dey. DOMi & JD Beck. Valeriy Stepanov. Varra. Michel Camilo. Snarky Puppy. Farmers Market.
Prog. Joel Lindfors. Oceill. Ztla. Arch Echo. Chronologist. David Maxim Micic. Native Construct. Poh Hock. James Norbert Ivanyi. Zombie Frogs. Sound Struggle. Animals as Leaders. Aviations. Lulu de la Rosa. Wombat Supernova. Loam. Seda. CHON. Asymmetric Universe. The Helix Nebula. Binary Number. Stephen Taranto. The Resonance Project. Protest the Hero. Clément Bélio. Richard Henshall. The Omnific. Persefone. Dream Theater. GEM. Thank You Scientist. Owane. Dionaea. Save Us from the Archon. 佐々木博史. Yvya. Syncatto. Portraits. Instrumental (adj.). Cö shu Nie. Polyphia.
Other. Streetlight Manifesto (ska punk). Jamie Paige (electro pop). Jacob Collier. Tally Hall.
Film. Hayako Miazaki (Princess Mononoke, Nausicaä of the Valley of the Wind). Makoto Shinkai (The Garden of Words, Your Name). Denis Villeneuve (Arrival, Incendies). Wes Anderson (The Grand Budapest Hotel, Moonrise Kingdom). Alejandro González Iñárritu (Birdman).
Video games. Outer Wilds. Chants of Sennaar. Return of the Obra Dinn.
(non-exhaustive list)
I strongly support open access to research, and have pledged to review only for conferences and journals with open access proceedings.
I am concerned about the uncritical adoption of AI technologies in academia (and elsewhere).
