Hi! I'm Naïm Camille Favier (/na'im ka.mij fa.vje/, na-EEM, they).
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 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 ongoing climate crisis and have signed the TCS4F pledge for sustainable research in theoretical computer science.
I am an AI hater. I totally oppose the use of AI in mathematics and computer science.
I also have a mishmash of formalised notes, posts and experiments at agda.monade.li.
Various things I like or find useful.
Knowledge. Wikipedia. Wiktionary. Etymonline. Internet Archive. Sci-Hub. Library Genesis. Library of Babel.
Mathematics. nLab. 1Lab. HoTT Book. HoTT Game. Symmetry. Principles of Dependent Type Theory. Clowder Project. Kerodon.
“Philosophy”. Structuralism. Use–mention distinction. Presupposition. 無. Zen.
Typesetting. Typst. quiver. ionchy's and Tom de Jong's LaTeX tips.
Nonsense mathematics. The Art of Baskerville. Unintentional type theory. Mustard watches. halloweenmath. Falso. Locus Solum, appendix B (okay, maybe that one isn't complete nonsense). mLab.
Other nonsense. Jabberwocky. Bill Wurtz. Music With Timing Devices. ???.
Music is my main non-scientific interest. I play the piano and have a classical background, but I mostly listen to jazz/fusion and progressive rock/metal. I am also quite fond of the Carnatic musical tradition, especially konnakol. I recommend Adam Neely's video essays about music theory and culture.
Classical. Sergei Rachmaninov. Frédéric Chopin. César Franck. Jean-Philippe Rameau. Johann Sebastian Bach. Igor Stravinsky. Edvard Grieg.
Jazz/fusion. Tigran Hamasyan. Hiromi Uehara. Yoko Kanno. Hakushi Hasegawa. Mei Semones. Avishai Cohen. Les Doigts de l'Homme. Luca Sestak. GEM. Eldar Djangirov. Valeriy Stepanov. Jacob Collier. Jesús Molina. Michel Camilo. Varra. KNOWER. DOMi & JD Beck. mouse on the keys. Əzizə Mustafazadə. Rafa Rodriguez. DEZOLVE.
Prog. Joel Lindfors. Oceill. Ztla. Alice Simard. David Maxim Micic. James Norbert Ivanyi. Chronologist. Jakub Zytecki. Plini. Native Construct. Poh Hock. Von Citizen. Fifth Quadrant. Richard Henshall. Blumen. Aviations. Arch Echo. Sound Struggle. The Helix Nebula. Stephen Taranto. Syncatto. Lulu de la Rosa. Wombat Supernova. Loam. Animals as Leaders. CHON. Dylan Reavey. Asymmetric Universe. The Resonance Project. Binary Number. Protest the Hero. Clément Bélio. The Omnific. Persefone. Dream Theater. Owane. Hail the Sun. Nuclear Power Trio. Fallujah. Krosis. The Zenith Passage. Somnium de Lycoris. Caligula's Horse. Others by No One. Thank You Scientist.
Misc. Streetlight Manifesto (ska punk). Jamie Paige (electro pop). Tally Hall/ミラクルミュージカル (∞). Igorrr, Ruby My Dear, Venetian Snares (experimental breakcore). Floating Cloud (Celtic folk Touhou arrangements). Cö shu Nie (J-rock). Iglooghost (electronic).
Film. Hayao Miyazaki (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. Return of the Obra Dinn. Celeste. Chants of Sennaar. Animal Well. Manifold Garden.
Webcomics. xkcd. Existential comics. Questionable Content. Zviane. Boulet (in French).
(non-exhaustive list)