×
You are not logged in
Bluesky Follows
Michaël Marcozzi
Follows by @marcozzi.net
Aurore Fass
Registered:12 Sep 2025 13:14
Follow date:22 Sep 2025 21:52
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
David Monniaux
Registered:23 Oct 2023 18:45
Follow date:10 Sep 2025 23:03
Last post:7 hours ago
Last like given:7 hours ago
Last like received:20 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...
Dr Juliette
Registered:26 Jul 2023 16:05
Follow date:6 Sep 2025 22:40
Last post:17 hours ago
Last like given:12 hours ago
Last like received:8 hours ago
Assistant professor in Belgium. Philosophy and history of medicine. Many other things. Autrice "Pilules Roses", julietteferrydanini.com
Lesly-Ann Daniel
Registered:19 Mar 2025 09:06
Follow date:27 Aug 2025 10:50
Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Le Soir
Registered:9 Dec 2024 22:54
Follow date:13 Jun 2025 22:14
Last post:6 hours ago
Last like received:23 minutes ago
La timeline de la rédaction du Soir.
www.lesoir.be
🇫🇷🇲🇺/🇬🇧Bilingual Theatre in London
Registered:1 May 2025 09:41
Follow date:5 May 2025 08:48
🇪🇺Cultural organisation creating bridges between cultures
🎟Production of bilingual plays
🗣Drama classes in French
International Conference on Automated Software Engineering (ASE)
Registered:13 Feb 2025 09:44
Follow date:30 Apr 2025 08:21
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/hom...
Matthieu Lemerre
Registered:14 Apr 2025 08:46
Follow date:14 Apr 2025 10:41
Researcher at CEA LIST, working on abstract interpretation of systems language
International Conference on Software Engineering
Registered:10 Sep 2024 15:29
Follow date:22 Mar 2025 09:58
Last post:6 days ago
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/hom...
Jürgen Cito
Registered:14 Jan 2025 16:40
Follow date:22 Mar 2025 09:53
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Joanna C S Santos
Registered:3 Dec 2024 00:50
Follow date:22 Mar 2025 09:53
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
thuanpv.bsky.social
Registered:21 Mar 2025 11:11
Follow date:22 Mar 2025 09:53
Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
Stefan Nagy
Registered:19 Feb 2025 16:09
Follow date:22 Mar 2025 09:53
Last post:14 Jan 2026
Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bu...
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
Daniel Schemmel
Registered:6 Mar 2025 16:26
Follow date:20 Mar 2025 20:20
srgimperial.bsky.social
Registered:6 Mar 2025 16:55
Follow date:20 Mar 2025 20:20
mnowack.bsky.social
Registered:20 Mar 2025 15:07
Follow date:20 Mar 2025 17:34
fbusse.bsky.social
Registered:3 Mar 2025 13:36
Follow date:3 Mar 2025 16:02
Last post:6 Dec 2025
SNCB - NMBS
Registered:10 Dec 2024 14:24
Follow date:1 Mar 2025 22:33
Caroline Lemieux
Registered:25 Nov 2024 04:52
Follow date:20 Feb 2025 18:01
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.
Guillaume Hiet
Registered:4 Feb 2025 14:00
Follow date:4 Feb 2025 15:55
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
Follow date:22 Jan 2025 08:34
Last post:3 Mar 2026
Last like given:1 day ago
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Julien Signoles
Registered:20 Jan 2025 05:51
Follow date:20 Jan 2025 10:28
Last post:24 Nov 2025
Researcher in formal methods
Moritz Schloegel
Registered:30 Sep 2024 07:02
Follow date:8 Dec 2024 12:07
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
Follow date:7 Dec 2024 13:29
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github....
ccadar.bsky.social
Registered:28 Nov 2024 07:33
Follow date:28 Nov 2024 08:35
Andy Zaidman
Registered:3 Feb 2024 21:10
Follow date:26 Nov 2024 08:40
Last post:25 Nov 2025
Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Follow date:26 Nov 2024 08:39
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
Clem Bernard
Registered:11 Nov 2024 22:04
Follow date:22 Nov 2024 10:57
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
Follow date:22 Nov 2024 10:57
CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Stefan Marr
Registered:11 Nov 2024 20:48
Follow date:21 Nov 2024 14:47
Last post:3 days ago
Interpreters, compilation, concurrency, and debugging tools.
Emery Berger
Registered:1 Sep 2023 02:28
Follow date:21 Nov 2024 14:47
Last post:1 Feb 2026
Last like given:6 hours ago
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
Registered:9 May 2023 13:25
Follow date:21 Nov 2024 14:46
Last post:3 hours ago
Last like given:3 hours ago
Last like received:2 hours ago
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
Registered:7 Jul 2023 05:53
Follow date:21 Nov 2024 14:46
Last post:23 Jan 2026
Manuel Rigger
Registered:15 Nov 2024 08:04
Follow date:21 Nov 2024 14:46
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.
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:21 Nov 2024 14:46
Last post:8 Feb 2026
Last like given:20 hours ago
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:21 Nov 2024 14:46
Last post:20 Feb 2026
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
Registered:8 Jul 2023 08:47
Follow date:21 Nov 2024 14:46
Last post:3 days ago
Last like given:9 hours ago
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
ISSTA 2026 Conference
Registered:21 Nov 2024 14:18
Follow date:21 Nov 2024 14:21
Last post:17 Dec 2025
The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/hom...
Johanne Montay
Registered:14 Aug 2023 13:50
Follow date:21 Nov 2024 13:42
Journaliste RTBF
Responsable éditoriale sciences - santé - environnement - innovation
François Gemenne
Registered:18 Aug 2023 13:09
Follow date:21 Nov 2024 13:42
Last post:10 Jan 2026
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
Registered:20 Aug 2023 15:11
Follow date:21 Nov 2024 13:42
De tout et de rien mais surtout de rien.
Commandant Sylvestre
Registered:26 Jul 2023 09:26
Follow date:21 Nov 2024 13:42
Last post:9 hours ago
Last like given:8 hours ago
Last like received:1 hour ago
Évêque et marchand de pistolets à eau
Arnaud Ruyssen
Registered:5 Oct 2023 07:47
Follow date:21 Nov 2024 13:42
Journaliste, auteur du podcast « Le Tournant » pour la RTBF
https://spotify.link/X0pYYucVX...
Marius Gilbert
Registered:21 Oct 2023 18:26
Follow date:21 Nov 2024 13:41
Professeur ordinaire (ULB)
https://spell.ulb.be/person/ma...
Vice-recteur à la recherche et à la valorisation
Vice-recteur à la culture et à la médiation scientifique,
Chroniqueur, Le Soir
https://www.lesoir.be/358546/d...
Jérémie Tojerow
Registered:25 Oct 2023 08:23
Follow date:21 Nov 2024 13:41
Last post:6 days ago
🏟 E11 #générationWerder. Conseiller communal PS #Uccle. Mes posts n'engagent que moi (et encore, seulement les bons)
Olivier Bierin
Registered:27 Nov 2023 12:18
Follow date:21 Nov 2024 13:41
Last like given:7 hours ago
La Belgique n'est qu'une courte parenthèse dans l'histoire millénaire de la Principauté de Liège.
Bertrand Henne
Registered:30 Nov 2023 10:51
Follow date:21 Nov 2024 13:41
Journaliste RTBF, Les coulisses du pouvoir https://audmns.com/CNalTlc
L'histoire continue https://audmns.com/rmtHACg
Dave Sinardet
Registered:25 Nov 2023 14:46
Follow date:21 Nov 2024 13:41
Last post:2 days ago
Last like received:22 hours ago
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
Registered:7 Sep 2023 09:15
Follow date:21 Nov 2024 13:41
La plus cool des totalitaristes verts
Philoxime
Registered:30 Aug 2023 08:53
Follow date:21 Nov 2024 13:41
Last post:3 days ago
Last like given:21 hours ago
Last like received:1 day ago
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