×
You are not logged in
Bluesky Followers
Michaël Marcozzi
Followers of @marcozzi.net
rudelune
Registered:20 Oct 2023 18:13
Last post:6 Jan 2026
Intéressé par l'informatique sur papier et sur écran 🌱
David Monniaux
Registered:23 Oct 2023 18:45
Last post:15 hours ago
Last like given:4 hours ago
Last like received:30 minutes ago
"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/@Mo...
https://cv.hal.science/david-m...
Aurore Fass
Registered:12 Sep 2025 13:14
Last post:27 Jan 2026
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
Registered:19 Mar 2025 09:06
Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Gangetik Prophet
Registered:26 Jan 2025 16:44
Old-school Malware & Offensive Security Researcher | ⚡Kernel Pwner⚡ | Research IPv6 Blog: http://kr1m1nal.net
Petrovic helloise
Registered:14 Jul 2025 05:23
Last post:7 Dec 2025
Création, pierre et tableau j’aime l’art et la politique
Franco russe vivant en Bretagne 🇷🇺🇫🇷
silverlight99.bsky.social
Registered:19 May 2025 22:31
🇫🇷🇲🇺/🇬🇧Bilingual Theatre in London
Registered:1 May 2025 09:41
🇪🇺Cultural organisation creating bridges between cultures
🎟Production of bilingual plays
🗣Drama classes in French
Divanilson Rodrigo Campelo
Registered:3 Jul 2023 19:12
Associate Professor at UFPE (Universidade Federal de Pernambuco), Recife, Brazil. | Data networking, vehicular networking, security and privacy. | https://www.cin.ufpe.br/~dcamp...
Mastodon: @dcampelo@fediscience.org
International Conference on Automated Software Engineering (ASE)
Registered:13 Feb 2025 09:44
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/hom...
Pascal Cotret
Registered:19 Oct 2023 20:22
Last post:2 Dec 2025
ENSTA @ Brest. Associate professor. Embedded systems, microarchitectures security, FPGA and other stuff. Trail-runner sometimes.
pcotret.gitlab.io
Matthieu Lemerre
Registered:14 Apr 2025 08:46
Researcher at CEA LIST, working on abstract interpretation of systems language
Meysam
Registered:9 May 2023 19:54
Security Researcher.
Stefan Nagy
Registered:19 Feb 2025 16:09
Last post:14 Jan 2026
Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bu...
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
thuanpv.bsky.social
Registered:21 Mar 2025 11:11
Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
mnowack.bsky.social
Registered:20 Mar 2025 15:07
fbusse.bsky.social
Registered:3 Mar 2025 13:36
Last post:6 Dec 2025
Caroline Lemieux
Registered:25 Nov 2024 04:52
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cest... she/her.
Jyun-Ao Lin
Registered:16 Nov 2024 07:03
decision procedure, QPL, automata theory
Guillaume Hiet
Registered:4 Feb 2025 14:00
Last post:1 Feb 2026
Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
Eric Eide
Registered:20 Nov 2024 00:17
Last post:3 Mar 2026
Last like given:8 hours ago
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
cdzeno.bsky.social
Registered:19 Dec 2023 22:02
Security Researcher @nozominetworks
Jay Bosamiya
Registered:20 Nov 2023 00:21
Last post:31 Dec 2025
🦊 Software security researcher. Making secure software the natural choice. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/
Julien Signoles
Registered:20 Jan 2025 05:51
Last post:24 Nov 2025
Researcher in formal methods
Greg Blanc
Registered:29 Dec 2024 15:56
Ph.D, information systems security researcher. Opinions are mine, not my employer's.
BIFOLD Berlin Institute for the Foundations of Learning and Data
Registered:10 Dec 2024 11:06
Last post:1 day ago
Last like given:5 hours ago
Last like received:22 hours ago
Groundbreaking foundational research in Big Data Management, Machine Learning, and their intersection. #AI #Research
www.bifold.berlin
📰News: www.bifold.berlin/news-events/...
🔑Data Privacy: www.bifold.berlin/data-privacy
Moritz Schloegel
Registered:30 Sep 2024 07:02
Last post:9 Feb 2026
Faculty @CISPA Helmholtz Center doing software security, program analysis, and fuzzing
Previously at SEFCOM lab @ASU and @RUB
Dominik Winterer
Registered:4 Dec 2024 12:46
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github....
Rahul Gopinath
Registered:20 Nov 2024 22:37
Last post:18 Feb 2026
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
Registered:30 Nov 2024 11:56
100% 🇧🇪 - un petit follow ! Je vous drop très bientôt les meilleurs coins pour bien manger en Belgique !
Patrick BERNARD
Registered:29 Dec 2023 16:39
@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
Registered:15 Nov 2024 02:48
I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
ccadar.bsky.social
Registered:28 Nov 2024 07:33
Loïc in the Space !
Registered:21 Nov 2023 14:57
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
Registered:26 Nov 2024 07:28
Last post:20 Dec 2025
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
Aymeric Varasse
Registered:23 Nov 2024 15:07
Trust me, I’m an engineer!
Currently working at @softwareheritage.org
Manuel Rigger
Registered:15 Nov 2024 08:04
Last post:3 Feb 2026
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
Registered:11 Nov 2024 22:04
Last post:23 Feb 2026
Neurobiologist fascinated by brain development | University of Exeter | she/her
www.clembernardlab.com
Yannic Noller
Registered:10 Jul 2024 16:22
CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Catherine Lemaitre
Registered:7 Sep 2023 09:15
La plus cool des totalitaristes verts