Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Science Newsroom - Faculty of Science and Engineering - UG @sciencenewsroom-ug.bsky.social The Science Newsroom shares the Science News of the Faculty of Science and Engineering @rug.nl. Follow us and stay up to date! 📰 ✅
🧪Check out all our Science News via 👉 www.rug.nl/fse/news/
📧 fse.sciencenewsroom@rug.nl
Beatriz Noheda @bnoheda.bsky.social Professor at University of Groningen (The Netherlands). Married to an idem. Mother of two amazing boys. Spanish. Love what I do and where I live. Busy finding out extremely energy efficient ways of computing using physics and materials that can learn.
Joost Frenken @joostwmfrenken.bsky.social Dean Faculty of Science and Engineering | University of Groningen | in my scientific spare time still captivated by surface and interface physics and chemistry
CogniGron @cognigron.bsky.social The Groningen Cognitive Systems and Materials Center #FutureProofComputing
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Komi Golova @jesyspa.bsky.social Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification (SnaKt) and semantics for Kotlin
she/her 🏳️🌈 🏳️⚧️
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
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. 
Riemer Vegter @riemervegter.bsky.social Assistant Professor at University Medical Center Groningen, University of Groningen, Young Academy Groningen and Sport Science & Innovation Groningen.
https://www.rug.nl/staff/r.j.k.vegter/
Talking Maths in Public @tmip.bsky.social A conference for maths communicators. Every two years in the UK. Next conference Aug 2025, Warwick University. More info: talkingmathsinpublic.uk
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Our World in Data @ourworldindata.org Our World in Data is a free, nonprofit website with a mission to increase understanding of the world’s largest problems and drive informed action to solve them. Based out of Oxford University (@ox.ac.uk), founded by @maxroser.bsky.social.
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
EL PAÍS @elpais.com La mejor información en español. Con nuestra mirada puesta en España, Europa y América. Suscríbete: https://tinyurl.com/yfbk27jh
Aquí puedes consultar nuestra política de privacidad: https://tinyurl.com/32dnhzc9
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
@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
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
The New Yorker @newyorker.com Unparalleled reporting and commentary on politics and culture, plus humor and cartoons, fiction and poetry. Get our Daily newsletter: http://nyer.cm/gtI6pVM
Follow The New Yorker’s writers and contributors: https://go.bsky.app/Gh5bFwS
Out Of Context Football @nocontextfooty.bsky.social #Football never sleeps.
50,000+ fans. Global game. Local passion.
📩 Partnership: DM
https://buymeacoffee.com/nocontextfooty
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Ayushi Rastogi @ayushirastogi.bsky.social Software engineering research | Assistant Professor at University of Groningen
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
Peter Timmerman @petertimmerman.bsky.social 
Daniel Feitosa @danielfeitosa.bsky.social Assistant Professor in Software Engineering @ University of Groningen
@btoninho.bsky.social @btoninho.bsky.social 
Nicolas Cardozo @ncardozo.bsky.social Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes
Also live(ish) at @ncardozo@fediscience.org
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
@andrewcmyers.bsky.social @andrewcmyers.bsky.social 
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Klaus v. Gleissenthall @gleissen.bsky.social PL and Security research at VU Amsterdam https://gleissen.github.io
Dan Grossman @dangrossmanseattle.bsky.social 
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Boris Köpf @socialboris.bsky.social Researcher at Microsoft Azure
boriskoepf.de
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹 @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
Marie-José van Tol @mariejosevantol.bsky.social • Full Professor of Cognitive Neuropsychiatry - UMCG/ @unigroningen.bsky.social
• Director research school Behavioural and Cognitive Neurosciences, University of Groningen
• Chair steering committee Netherlands Brain Initiative (Nationaal Plan Hoofdzaken)
Paul Krugman @pkrugman.bsky.social Ex NY Times, now author of Substack Paul Krugman. Nobel laureate and, according to Donald Trump, "Deranged BUM". Also Research Professor at the City University of New York Graduate Center and senior scholar at the GC-CUNY Stone Center.
Vasilios Andrikopoulos @vandriko.bsky.social Books reader. Parent and husband. Alcoholic beverages appreciator. Really annoying music round participant in pub quizzes, apparently. Incidentally teaching and researching cloud, sustainability, and software architecture (professional account on mastodon)
University of Groningen | Rijksuniversiteit Groningen @rug.nl We are the University of Groningen (short: UG) (Dutch: Rijksuniversiteit Groningen, kort: RUG), an open academic community since 1614 🎓 www.rug.nl
Posts in Dutch and English.
Questions? Our chat is open! 📩
UKrant @ukrant.bsky.social Onafhankelijk nieuwsplatform voor academisch Groningen | nieuws | verhalen | opinie | tips? redactie@ukrant.nl | Instagram: @ukrant | Twitter: @ukrantgroningen
Léonie de Jonge @leoniedejonge.bsky.social Prof. of Research on Far-Right Extremism @IRex/UniTübingen; researching far-right political actors & ideologies; PhD from @Cambridge_Uni; member of DeJongeAkademie @KNAW 📚
Michael Biehl @michaelbiehl.bsky.social Physicist by training and by heart, now machine learner in Groningen / NL.
Visit www.cs.rug.nl/~biehl for more information, publications, etc.
The Shallow and the Deep (open access lecture notes):
https://books.ugp.rug.nl/index.php/ugp/catalog/book/130
Dutch News @dutchnewsnl.bsky.social Dutch news in English for an international audience.
Read more: https://www.dutchnews.nl/
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
@myvardi.bsky.social @myvardi.bsky.social 
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Talia Ringer @taliaringer.bsky.social 
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.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
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/
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Éric Tanter @etanter.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Luís Caires @lmcaires.bsky.social 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.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
derek guy @dieworkwear.bsky.social 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-here/
Papers We Love @paperswelove.org 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/@PapersWeLove
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social 
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Jonathan Aldrich @jonathanaldrich.bsky.social 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.
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
The New York Times @nytimes.com We seek the truth and help people understand the world. Not a subscriber? Your first month is now free in our app. https://nytimes.onelink.me/Xpht/zbx4nci9
Susan Glasser @sbg1.bsky.social Staff writer @newyorker, proud wife of @peterbakernyt and mom of @tab_delete, co-author, "Kremlin Rising," "The Man Who Ran Washington," and "The Divider: Trump in the White House."
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app