Julien Narboux
Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
@palaisau.bsky.social
Il n’y a pas d’avocat(e)s moches, juste des coupettes de champagne trop petites. (pas de service minimum lapin)
@egregoire.bsky.social
Député et conseiller de Paris | Porte-parole du groupe socialiste à l'Assemblée nationale | Candidat pour être le prochain maire de Paris
@quotidienofficiel.bsky.social
Compte officiel de l'émission #Quotidien. https://linktr.ee/quotidienofficiel
@flf.bsky.social
@framaka.bsky.social
Chef de projet logiciel et ressources éducatives libres à la Direction du numérique pour l'éducation @lelibreedu.bsky.social La forge des communs numériques éducatifs #LaForgeEdu Fondateur @framasoft.org @framaka@mastodon.social #CommunsNumériques
@lelibreedu.bsky.social
Compte (beta) de la Direction du numérique pour l'éducation du ministère français de l'Éducation nationale dédié aux logiciels et ressources éducatives libres #CommunsNumériques
@lesstylosrouges.bsky.social
@dupognonprofs.bsky.social
Actus sur les luttes dans l'EN: follow me! On aura bientôt deux profs pour le prix d'un officier de police ! ⚡️ Dans l'unité ; et dans l'action! ⚡️ https://dupognonpourlesprofs.fr/
@pierre.senellart.com
Professor of computer science and deputy director of the CS department at ENS, PSL University; head of Inria Valda team. Junior member of IUF. President of section 6 (CS) of France's National committee for scientific research (CoNRS).
@lostcrab.bsky.social
Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
@anatolededecker.bsky.social
PhD student interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. Proud contributor and maintainer of https://leanprover-community.github.io/
@paysmaths.bsky.social
Une citation mathématique chaque jour & quelques actualités mathématiques. A mathematical quote every day & some mathematical news. Site : https://paysmaths.net #mathématiques #mathematics #maths #math
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@moajohansson.bsky.social
Associate Professor in Data Science and AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and stir.
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@cledmonds.bsky.social
Research Associate @sheffielduni.bsky.social working on proof assistants, formal verification & security. Passionate about CS Education. Cambridge Australia Scholar, PhD, AFHEA.
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@ulrichjunker.bsky.social
Scientist in Artificial Intelligence and the Decision Sciences. https://uli-research.com/About_Me.html
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
@jeanas.bsky.social
@yourpaldan.bsky.social
Sharing beautiful pictures of the beautiful game for you beautiful people: NHL, CHL, PWHL... all the HL's.
@unfortunatehky.bsky.social
If your team chokes, you will probably see it here. It is never personal. Not affiliated with the Tw*tter account.
@hockeymemeslol.bsky.social
You made it, Now Follow Us !! Eat spaghetti like Crosby 🍝 Fight like Bissonnette 🥊 Win like the Leafs in the first round 🏆 Check our YouTube youtube.com/channel/UCqSKuwenxy1CDh7CLyEQNXA
@nnaguet.bsky.social
Journaliste scientifique. Je distribue des sciences pour @sciencecqfd.bsky.social :)
@epsiloon.com
Le magazine scientifique d'actualité Pour vous abonner : https://www.epsiloon.com/
@maglarecherche.bsky.social
📢 Nouveau ! Le n°581 de notre trimestriel, écrit avec la collaboration des meilleur(e)s scientifiques, est disponible en kiosque, librairie et version numérique
@agros.bsky.social
Neuroscience PhD - Féministe - Engagée pour la place des femmes en sciences - Responsable Communication & Culture Scientifique - Dévoreuse de podcasts
@cecilemichaut.bsky.social
Journaliste scientifique, formatrice en #vulgarisation, autrice de Vulgarisation scientifique, mode d'emploi. Aussi : féministe, cycliste, musicienne www.scienceetpartage.fr
@france.theconversation.com
Le média qui décrypte les grands enjeux de notre époque. Les faits vérifiés par la recherche scientifique. Fiable. Clair. Accessible. Abonnez-vous à nos newsletters gratuites : https://theconversation.com/fr/newsletters
@espritsorcier.bsky.social
La chaîne de la science et de l'environnement, avec Fred Courant et son équipe. 📺 Orange canal 111, Free 220, Bouygues 122 et sur Internet --> https://www.espritsorcier.tv/direct.php 📱💻 YouTube --> https://www.youtube.com/@LEspritSorcierTV
@cafe-sciences.org
🚩 La communauté de vulgarisateur·rices scientifiques passionné·es du Café des sciences
@newscientist.com
The best place to find out what’s new in science – and why it matters.
@academiesciences.bsky.social
🏅Soutenir la recherche 👩🔬Transmettre les connaissances scientifiques 💡 Conseiller les pouvoirs publics https://linktr.ee/academiedessciences #helloESR
@sciencecqfd.bsky.social
Du lundi au jeudi de 16h à 17h sur France Culture - Nos émissions à la (ré)écoute par ici : https://www.radiofrance.fr/franceculture/podcasts/la-science-cqfd - La science sur BlueSky en un seul clic : https://go.bsky.app/CFvzzJP
@irisa-lab.bsky.social
Le laboratoire français de #recherche et d'innovation en sciences et #technologies du #numérique CNRS, Université de Rennes, Inria, Inserm, INSA Rennes, ENS Rennes, IMT Atlantique, CentraleSupélec, Université Bretagne Sud www.irisa.fr #50ansIRISA
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@cnrs-insmi.bsky.social
Institut national du @cnrs.fr dédié aux #mathématiques et à leurs interactions avec les autres sciences, les entreprises et la société 🧮 #HelloESR
@sorbonne-universite.fr
🎓 Compte officiel de Sorbonne Université, université de recherche intensive et pluridisciplinaire en lettres, santé, sciences & ingénierie. Suivez notre actualité recherche ! https://www.sorbonne-universite.fr/