×
You are not logged in
Bluesky Follows
Simon Gregersen
Follows by @simongregersen.com
European Research Council (ERC)
Registered:3 Jan 2025 08:39
Follow date:4 Aug 2025 02:50
European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
apanda
Registered:23 Aug 2023 21:31
Follow date:25 Jul 2025 01:46
I am A Panda. I work on systems and networking at NYU.
I mostly hang out at https://discuss.systems/@apand...
CISPA Helmholtz Center for Information Security
Registered:4 Apr 2025 12:12
Follow date:24 Jun 2025 19:41
The CISPA Helmholtz Center for Information Security is a German national Big Science Institution within the Helmholtz Association. We research information security in all its facets.
https://cispa.de/en/data-priva...
PLDI
Registered:20 Jan 2025 21:34
Follow date:12 Jun 2025 18:02
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Foxes In Love
Registered:28 Sep 2023 09:47
Follow date:16 May 2025 14:01
The official bluesky account of Foxes In Love!
Peter Scholl
Registered:5 May 2025 06:15
Follow date:5 May 2025 11:07
Douglas Stebila
Registered:24 Nov 2024 13:18
Follow date:4 May 2025 23:26
Cryptography professor at the University of Waterloo
https://www.douglas.stebila.ca...
cascremers.bsky.social
Registered:16 Jan 2025 14:40
Follow date:4 May 2025 23:26
Doreen Riepel
Registered:14 Feb 2025 14:51
Follow date:31 Mar 2025 04:18
Tenure-Track Faculty at CISPA • Cryptography & Provable Security
Théophile Wallez
Registered:16 Nov 2024 09:36
Follow date:26 Mar 2025 08:47
Post-doc researcher at CISPA, working on secure group messaging & machine-checked security proofs.
Turing-Complete Onion
Registered:26 Feb 2025 14:30
Follow date:4 Mar 2025 19:56
Memes but for CS Theory
Larry the Cat
Registered:14 Aug 2024 21:51
Follow date:2 Mar 2025 04:19
Chief Mouser to the Cabinet Office. 17 year old tabby. Living with my sixth Prime Minister. Unofficial.
https://www.buymeacoffee.com/N...
Emanuele D'Osualdo
Registered:8 Jan 2025 17:12
Follow date:28 Jan 2025 04:05
TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Josh Gancher
Registered:18 Nov 2024 22:26
Follow date:26 Jan 2025 22:51
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Diego F. Aranha
Registered:12 Oct 2023 21:41
Follow date:26 Jan 2025 22:50
Associate Professor of Cryptographic Engineering at Aarhus University. https://dfaranha.github.io/
Ron Garcia
Registered:3 Jul 2023 05:31
Follow date:23 Jan 2025 06:01
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
titzerbl.bsky.social
Registered:18 Nov 2024 19:49
Follow date:30 Dec 2024 17:07
Xavier Leroy
Registered:30 Nov 2024 15:45
Follow date:30 Dec 2024 15:45
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:19 Dec 2024 22:42
cutler.pl
Tjerand Silde
Registered:22 Aug 2023 20:23
Follow date:17 Dec 2024 12:18
Associate Professor in Cryptology and Research Group Leader at the NTNU Applied Cryptology Lab in Trondheim, Norway.
Homepage: https://tjerandsilde.no
Research group: https://www.ntnu.edu/iik/nacl-...
Department of Computer Science, Aarhus University
Registered:16 Dec 2024 12:15
Follow date:17 Dec 2024 12:18
Official profile for Department of Computer Science at Aarhus University. We share IT research and official news from #csaudk in Danish and English.
Marcel Böhme
Registered:17 Nov 2024 07:13
Follow date:11 Dec 2024 04:06
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Manu Sridharan
Registered:11 Sep 2024 19:01
Follow date:7 Dec 2024 19:02
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:7 Dec 2024 14:56
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Luís Caires
Registered:16 Nov 2024 14:15
Follow date:7 Dec 2024 14:54
I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
Rodolphe Lepigre
Registered:16 Nov 2024 22:19
Follow date:7 Dec 2024 14:54
Computer scientist, OCaml programmer, Coq/Rocq hacker
David Van Horn
Registered:25 May 2023 15:55
Follow date:7 Dec 2024 14:37
Prof at UMD CS.
Toby Murray
Registered:8 Aug 2023 13:36
Follow date:7 Dec 2024 14:37
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
Conor Mc Bride
Registered:13 Nov 2024 20:43
Follow date:7 Dec 2024 14:37
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Klaus v. Gleissenthall
Registered:18 Nov 2024 21:16
Follow date:7 Dec 2024 14:36
PL and Security research at VU Amsterdam https://gleissen.github.io
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:7 Dec 2024 14:36
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk...
https://www.lambda-miners.org....
derek guy
Registered:1 May 2023 06:41
Follow date:7 Dec 2024 14:36
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-he...
andrewcmyers.bsky.social
Registered:17 Nov 2024 12:36
Follow date:7 Dec 2024 14:35
Kasper Green Larsen
Registered:18 Nov 2024 08:02
Follow date:7 Dec 2024 14:35
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Anders Møller
Registered:23 Nov 2024 11:51
Follow date:7 Dec 2024 14:35
Professor at Aarhus University
https://cs.au.dk/~amoeller
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:7 Dec 2024 14:34
Papers We Love
Registered:29 Apr 2023 15:32
Follow date:7 Dec 2024 14:32
A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@Paper...
Aaron Turon 🪷🦀
Registered:10 May 2023 04:01
Follow date:7 Dec 2024 14:32
Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:7 Dec 2024 14:30
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:7 Dec 2024 14:29
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Andreas Zeller
Registered:22 Sep 2023 05:50
Follow date:7 Dec 2024 14:28
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/
Matthew Parkinson
Registered:15 Nov 2024 06:26
Follow date:7 Dec 2024 14:28
Programming language researcher at Microsoft.
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:7 Dec 2024 14:28
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
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:7 Dec 2024 14:28
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.
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:7 Dec 2024 14:28
Get used to disappointment.
Nate Foster
Registered:25 Jul 2023 20:13
Follow date:7 Dec 2024 14:27
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Leo Lampropoulos
Registered:18 Nov 2024 06:36
Follow date:7 Dec 2024 14:27
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:7 Dec 2024 14:27
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:7 Dec 2024 14:27
The ACM Special Interest Group on Programming Languages.
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:7 Dec 2024 14:27
Mom, foodie, traveller, computer scientist