Chloo 💘 @kcazthemighty.bsky.social your new favorite distraction 😈
lets make tonight blurry and loud 😏 💛
@guillaumenibert.bsky.social @guillaumenibert.bsky.social
Petrovic helloise @pethlls.bsky.social Creation, stone and painting I love art and politics
Franco-Russian living in Brittany 🇷🇺🇫🇷
rudelune @rudelune.bsky.social Intéressé par l'informatique sur papier et sur écran 🌱
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
Andrea Lops @lopsandrea.bsky.social
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
Lesly-Ann Daniel @lesly-ann.bsky.social Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Gangetik Prophet @kr1m1nal.bsky.social Old-school Malware & Offensive Security Researcher | ⚡Kernel Pwner⚡ | Research IPv6 Blog: http://kr1m1nal.net
@silverlight99.bsky.social @silverlight99.bsky.social
🇫🇷🇲🇺/🇬🇧Bilingual Theatre in London @exchangetheatre.bsky.social 🇪🇺Cultural organisation creating bridges between cultures
🎟Production of bilingual plays
🗣Drama classes in French
Divanilson Rodrigo Campelo @dcampelo.bsky.social Associate Professor at UFPE (Universidade Federal de Pernambuco), Recife, Brazil. | Data networking, vehicular networking, security and privacy. | https://www.cin.ufpe.br/~dcampelo/
Mastodon: @dcampelo@fediscience.org
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
Pascal Cotret @pa0x73cal.bsky.social ENSTA @ Brest. Associate professor. Embedded systems, microarchitectures security, FPGA and other stuff. Trail-runner sometimes.
pcotret.gitlab.io
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Meysam @r00tkitsmm.bsky.social Security Researcher.
Stefan Nagy @snagycs.bsky.social Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
@thuanpv.bsky.social @thuanpv.bsky.social Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
@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.
Jyun-Ao Lin @carquois42.bsky.social decision procedure, QPL, automata theory
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
@cdzeno.bsky.social @cdzeno.bsky.social Security Researcher @nozominetworks
Jay Bosamiya @jaybosamiya.bsky.social 🦊 Software security researcher. Making secure software the natural choice. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
Greg Blanc @cloudgravity.bsky.social Ph.D, information systems security researcher. Opinions are mine, not my employer's.
BIFOLD Berlin Institute for the Foundations of Learning and Data @bifold.berlin Groundbreaking foundational research in Big Data Management, Machine Learning, and their intersection. #AI #Research
www.bifold.berlin
📰News: www.bifold.berlin/news-events/news
🔑Data Privacy: www.bifold.berlin/data-privacy
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
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
Alice Appetito @appetitoapp.bsky.social 100% 🇧🇪 - un petit follow ! Je vous drop très bientôt les meilleurs coins pour bien manger en Belgique !
Patrick BERNARD @29pat.bsky.social @Renaissance
@Renaissance29 @RenaissanceQBO
adore #MacronardsFM !...
Comptes #X (ex-Twitter) : @29Pat2 et @29Pat
Compte #threads : patrickbernardmahe
Compte #instagram: patrickbernardmahe
Compte #Facebook : Patrick Bernard-mahe,
Compte #Pinterest : 29pat🇨🇵
Saurabh Singh Rajput @sauftwarebug.bsky.social I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
@ccadar.bsky.social @ccadar.bsky.social
Loïc in the Space ! @supermexes.bsky.social Home Body ; Papa qui ne veut pas grandir !
#Videogame #Arcade
#Comics #Japanimation
#Movies #TVShows
#PornFood #Toys
Team #DubNationFr & #SplashPod
EX-Assistant to the regional manager et Coach de district à la retraite
#FootballTotal #TeamAja
@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
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.
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
Catherine Lemaitre @catherinelem.bsky.social La plus cool des totalitaristes verts
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
aurelsec @aurelsec.bsky.social Hackademic at S3@eurecom
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
SKY Explore @docworldexplore.bsky.social In-depth, independent reporting to better understand the world, now on Bluesky. News Posts Who Mater The Most.
Clémentine Maurice @bloody-tangerine.bsky.social Researcher at CNRS. Feminist. I work on microarchitectural security.
https://cmaurice.fr
Mateusz @mateusz9.bsky.social #Journaliste. #Bruxelles. Digital jedi. Streamer. Dad. LOLcats consultant. Mec sympa. Prof. Saint-Gilles. #Twitch on https://twitch.tv/mateusz__9
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
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
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
Shaukat Ali @shukat-ali.bsky.social
Michele Alberti @lambdaxdotx.bsky.social
Tomasz Kuchta @tomaszkuchta.bsky.social Computer Scientist
http://about.me/tomasz.kuchta
X: @Tomasz_Kuchta
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
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
Arnaud Cambier @arnaudcambier.bsky.social One-hit wonder
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
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
Stefania Dumbrava @sdumbrava.bsky.social
Frédérick Sigrist @fredericksigrist.bsky.social Humoriste, comédien, auteur, chroniqueur à France Inter et Warner Tv Next, animateur et producteur de l'émission Blockbusters, et geek fini depuis 45 ans!