My name is Naïm Camille Favier (/na'im ka.mij fa.vje/, na-EEM).
My pronouns are he, they, or anything else.
My first language is French.
Here's a 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 under the supervision of 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:
I 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. Less politely, I am an AI hater.
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. Library Genesis. Internet Archive. Library of Babel.
Mathematics. nLab. 1Lab. The HoTT Book. The HoTT Game. The Symmetry Book. Principles of Dependent Type Theory. The Clowder Project. Kerodon.
Web comics. xkcd. Existential comics. Zviane.
“Philosophy”. Structuralism. Use–mention distinction. Presupposition. 無. Zen.
Mathematical nonsense. The Art of Baskerville. Unintentional type theory. Mustard watches. halloweenmath. Falso. Locus Solum, appendix B (okay, maybe that one isn't complete nonsense). mLab. Mathgen.
Other nonsense. Jabberwocky. Bill Wurtz. Music With Timing Devices. ???.
Music. I play the piano and have a mostly classical background, but my favourite genres are jazz/fusion and progressive rock/metal.
Classical. Sergei Rachmaninoff. Frédéric Chopin. César Franck. Johann Sebastian Bach. Igor Stravinsky. Edvard Grieg.
Jazz. Tigran Hamasyan. Hiromi Uehara. Yoko Kanno. Hakushi Hasegawa. Jesús Molina. Mei Semones. Avishai Cohen. Les Doigts de l'Homme. GEM. Eldar Djangirov. Michel Camilo. Varra. KNOWER. DOMi & JD Beck. mouse on the keys. Əzizə Mustafazadə. Rafa Rodriguez. DEZOLVE. Valeriy Stepanov.
Prog. Joel Lindfors. Oceill. Ztla. Alice Simard. James Norbert Ivanyi. Chronologist. Plini/Halcyon. David Maxim Micic. Jakub Zytecki. Native Construct. Poh Hock. Von Citizen. Fifth Quadrant. Aviations. Arch Echo. Sound Struggle. Zombie Frogs. The Helix Nebula. Syncatto. Lulu de la Rosa. Wombat Supernova. Loam. Animals as Leaders. CHON. Dylan Reavey. Asymmetric Universe. Binary Number. Hirofumi Sasaki. Stephen Taranto. Nuclear Power Trio. Protest the Hero. Clément Bélio. The Omnific. Persefone. Dream Theater. Owane. The Zenith Passage. Caligula's Horse. Thank You Scientist. The Resonance Project. Somnium de Lycoris. Others by No One. Portraits.
Misc. Streetlight Manifesto (ska punk). Jamie Paige (electro pop). Floating Cloud (Irish folk Touhou arrangements). Cö shu Nie (J-rock). Tally Hall. Jacob Collier. Iglooghost (electronic).
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).
Video games. Outer Wilds. Chants of Sennaar. Return of the Obra Dinn. Manifold Garden.
(non-exhaustive list)
