Aurore Fass @aurore-fass.bsky.social Tenured Researcher @Inria
USENIX Security Artifact Evaluation Co-Chair 2025 & 2026
Web Security & Privacy: JavaScript (in)security, browser extensions
https://aurore54f.github.io
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Dr Juliette @ferrydanini.bsky.social Philosophy and history of medicine. Many other things. Autrice "Pilules Roses", julietteferrydanini.com
Lesly-Ann Daniel @lesly-ann.bsky.social Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Le Soir @lesoir.be La timeline de la rédaction du Soir.
www.lesoir.be
🇫🇷🇲🇺/🇬🇧Bilingual Theatre in London @exchangetheatre.bsky.social 🇪🇺Cultural organisation creating bridges between cultures
🎟Production of bilingual plays
🗣Drama classes in French
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
@thuanpv.bsky.social @thuanpv.bsky.social Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
Stefan Nagy @snagycs.bsky.social Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
Daniel Schemmel @daniel.schemmel.net
@srgimperial.bsky.social @srgimperial.bsky.social
@mnowack.bsky.social @mnowack.bsky.social
@fbusse.bsky.social @fbusse.bsky.social
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Guillaume Hiet @guillaumehiet.bsky.social Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
Moritz Schloegel @mu00d8.bsky.social Faculty @CISPA Helmholtz Center doing software security, program analysis, and fuzzing
Previously at SEFCOM lab @ASU and @RUB
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
@ccadar.bsky.social @ccadar.bsky.social
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Clem Bernard @clembrnrd.bsky.social Neurobiologist fascinated by brain development | University of Exeter | she/her
www.clembernardlab.com
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Talia Ringer @taliaringer.bsky.social
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
Johanne Montay @johannemontay.bsky.social Journaliste RTBF
Responsable éditoriale sciences - santé - environnement - innovation
François Gemenne @gemenne.bsky.social Climate and Migration
Academic affiliations:
Prof HEC Paris, Researcher FNRS, Director Hugo Observatory
Public service:
Lead author for the IPCC, President Scientific Council FNH, President Climate Voices.
François Perl @francoisperl.bsky.social De tout et de rien mais surtout de rien.
Commandant Sylvestre @cdtsylvestre.eurosky.social Évêque et marchand de pistolets à eau
Arnaud Ruyssen @ruyssen.bsky.social Journaliste, auteur du podcast « Le Tournant » pour la RTBF
https://spotify.link/X0pYYucVXDb
Marius Gilbert @mariusgilbert.bsky.social Professeur ordinaire (ULB)
https://spell.ulb.be/person/marius-gilbert/
Vice-recteur à la recherche et à la valorisation
Vice-recteur à la culture et à la médiation scientifique,
Chroniqueur, Le Soir
https://www.lesoir.be/358546/dpi-authors/marius-gilbert
Jérémie Tojerow @jeremietoj.bsky.social 🏟 E11 #générationWerder. Conseiller communal PS #Uccle. Mes posts n'engagent que moi (et encore, seulement les bons)
Olivier Bierin @olivierbierin.bsky.social La Belgique n'est qu'une courte parenthèse dans l'histoire millénaire de la Principauté de Liège.
Bertrand Henne @bertrandhenne.bsky.social Journaliste RTBF, Les coulisses du pouvoir https://audmns.com/CNalTlc
L'histoire continue https://audmns.com/rmtHACg
Dave Sinardet @davesinardet.bsky.social Professor of Political Science (VUB/UCLouvain)
Working on (sub state) nationalism, federalism, diverse democracies, …
A columnist too.
A melomaniac and dj as well.
And some other stuff …
www.instagram.com/DaveSinardet
Catherine Lemaitre @catherinelem.bsky.social La plus cool des totalitaristes verts
Philoxime @philoxime.eurosky.social Chercheur et vulgarisateur en philo politique et éthique du climat sur
http://youtube.com/philoxime
UCLouvain / Chaire Hoover. Membre du café des sciences
https://linktr.ee/philoxime
Philippe Walkowiak @phwalkowiak.bsky.social Journaliste, éditorialiste et chroniqueur politique à la RTBF
Georgina Wright (on leave) @georginaewright.bsky.social Britain, France & Brussels thinking at the German Marshall Fund of the United States.
Jean Quatremer @quatremer.bsky.social Journaliste, éditorialiste, essayiste. Mes tweets n’engagent que ceux qui les lisent. Je bloque très vite, c’est compulsif 💋
The New York Times @nytimes.com In-depth, independent reporting to better understand the world, now on Bluesky. News tips? Share them here: http://nyti.ms/2FVHq9v
Financial Times @financialtimes.com The best of FT journalism, including breaking news and analysis.
https://www.ft.com
The users this account follows are verified FT staff or contributors.
Peter Foster @pmdfoster.bsky.social Brighton-dwelling World Trade Editor at the Financial Times
https://www.ft.com/peter-foster
Sometime Brexit nerd & author of 'What Went Wrong with Brexit' https://t.co/VsIipD7JBr
Justin on eurostar @eurostarjustin.bsky.social Eurostar Train Manager, ale and photography fan. Posts when operational duties allow. Contact eurostar for customer support. Bon voyage! 🇬🇧🇫🇷🇧🇪🇳🇱🇪🇺
Le Gorafi @legorafi.bsky.social Compte officiel
Toute l’information selon des sources contradictoires.
Notre Journal papier mensuel : https://shop.legorafi.fr/products/abonnement-gorafi-mag
Notre site web : https://www.legorafi.fr
Alastair Campbell @alastaircampbell2.bsky.social Writer, strategist, co-presenter the U.K. No1 podcast The Rest Is Politics … love Britain hate Brexit, loved Twitter loathe Musk n Trump
Isabelle Ory @isabelleory.bsky.social Journaliste. A Bruxelles pour la RTS et l'Express.
The Economist @economist.com News and analysis with a global perspective, since 1843. We’re here to help you understand the world around you. Subscribe here: https://econ.st/4fAeu4q
AlexTaylorNews @alextaylornews.bsky.social French TV's Mr Europe 30 yrs
Host international events (+1 500)
Write books on languages
Teach journalism at Sorbonne
and have tamed camels
Anne Hidalgo @annehidalgo.bsky.social Ancienne Maire de Paris
Radio France @radiofrance.fr Radio publique française : France Inter, franceinfo, France Bleu, France Culture, France Musique, FIP, Mouv’
The Guardian @theguardian.com The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com
🇺🇸 Guardian US https://bsky.app/profile/us.theguardian.com
🇦🇺 Guardian Australia https://bsky.app/profile/australia.theguardian.com
Sophie Pedder @sophiepedder.bsky.social Paris Bureau Chief, The Economist. Author of “Revolution Française: Emmanuel Macron and the quest to reinvent a nation” (Bloomsbury)
Anastasia Isychev @isychev.bsky.social postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
Caterina Urban @caterinaurban.bsky.social
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Clémentine Maurice @bloody-tangerine.bsky.social Researcher at CNRS. Feminist. I work on microarchitectural security.
https://cmaurice.fr
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Michele Alberti @lambdaxdotx.bsky.social
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
Shaukat Ali @shukat-ali.bsky.social
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
aurelsec @aurelsec.bsky.social Hackademic at S3@eurecom
Cornelius Aschermann @is-eqv.bsky.social Fuzzing & stuff https://hexgolems.com
Mathy Vanhoef @vanhoefm.bsky.social Prof. @KU_Leuven | Research in Network & Software Security | Known for WPA2 KRACK attack, Dragonblood, and FragAttacks | Open to consultancy | Ex-Postdoc NYU
Tomasz Kuchta @tomaszkuchta.bsky.social Computer Scientist
http://about.me/tomasz.kuchta
X: @Tomasz_Kuchta
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Andrea Fioraldi @andreafioraldi.bsky.social Cyber Response Italian Supercazzola Technology Officer at
@mhackeroni Inc. Writing your favourite fuzz testing tools with
@aflplusplus. Security research at .
Paolo Tonella @paolotonella.bsky.social Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Arnaud Cambier @arnaudcambier.bsky.social One-hit wonder
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Jonathan Piron @jonathanpiron.bsky.social Historien / Iran et espaces limitrophes / Écologie politique / Coordinateur du pôle recherche chez @etopia.bsky.social / Prof. Relations internationales contemporaines Helmo/Hepl / Chercheur associé au Grip
Sylvain Quoilin @squoilin.bsky.social Energy Transition Modeler | Associate Professor at the University of Liege
Dre Sylvie Pommier @sylviepommier.bsky.social #ESR
Coordinatrice du doctorat à la DGESIP-DGRI
Professeure ENS Paris Saclay
Chercheuse au LMPS
Phd le jeu @phd-le-jeu.bsky.social Le jeu de cartes incontournable sur le doctorat
https://fr.ulule.com/phd_jeu/
en cours de financement
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
Le Monde @lemonde.fr « Le Monde » est un journal français fondé par Hubert Beuve-Méry en 1944. C'est aussi un compte Bluesky qui poste l'actualité en continu de façon automatisée.