Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
Tim Green @otherprofgreen.bsky.social Professor of Electrical Power Engineering at Imperial College researching control of zero-carbon grids.
Known to get distracted by old trains and industrial heritage.
Drivel that follows comprised entirely of personal views.
He/Him
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
@hannelita.bsky.social @hannelita.bsky.social 
Tom Turcotte @tomturcottetech.bsky.social Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
xgrowthengine.com
Bachir Bendrissou @bbendrissou.bsky.social Google PhD Fellow | Doctoral Student at Imperial College London | Software Reliability | Fuzzing Enthusiast | Ex-CISPA
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Ellie Clifford @ellie.clifford.lol using domains as handles is nice because I don't have to put in any extra effort to plug my website :3
🏳️🌈🏳️⚧️ she/her 🏳️⚧️🏳️🌈
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
@fbusse.bsky.social @fbusse.bsky.social 
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
дблп - ☮ Stop the war! @dblp.org #dblp computer science bibliography
Schloss #Dagstuhl LZI
* Marcel R. Ackermann ~MRA
* Florian Reitz ~FR
* Michael Ley ~ML
#computerscience #research
#opendata #knowledgegraph
We are also on Mastodon: https://mastodon.social/@dblp
Noa Kaplan @noakaplan.bsky.social PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Ricky Gervais @mrrickygervais.bsky.social Comedy God
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
Simon Usborne @susborne.bsky.social Journalist, London. Features for The Guardian, Sunday Times, Financial Times, Telegraph Magazine etc. susborne.com
Jess Bowie @jessbowie.bsky.social Co-editor of @civilserviceworld.bsky.social. Civil servants are my bag.
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
Randall Munroe @xkcd.com 
WeRateDogs @weratedogs.com Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
Jess Phillips @jessphillipsmp.bsky.social MP for Birmingham Yardley
Imperial EEE @imperialeee.bsky.social The Department of Electrical and Electronic Engineering at Imperial College London.
#OurImperial
CyclingMikey @cyclingmikey.bsky.social Teaching the unwilling - reported 2,075 drivers since 2019. 2,460 penalty points, £150,537 in fines (not all results). YouTube: http://youtube.com/@CyclingMikey
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
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/
Dan Neidle @danneidle.bsky.social Founder of Tax Policy Associates Ltd. Tax realist. @danneidle on Twitter
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Imperial-EDU @imperial-edu.bsky.social The Educational Development Unit (EDU) works collaboratively throughout Imperial College London to support and enhance the profile of learning and teaching.
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Aaron A. Glenn @networkservice.bsky.social programmable packet forwarding and packet forwarding accessories
human rights over property rights
owner/operator of world renowned AS7007
Mark J. Nelson @mm-jj-nn.bsky.social Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
@ea640x480.bsky.social @ea640x480.bsky.social The glorious lamp of heaven, the sun, The higher he's a-getting
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Chris Henson @chenson.bsky.social CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Marta Andronic @martaandronic.bsky.social PhD student @Imperial designing efficient NNs | EEE MEng '22 @Imperial
Jocelyn Chen @jqchen.bsky.social 
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago - D @davidtgoldblatt.bsky.social @davidtgoldblatt.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
Cambridge Computer Science @cst.cam.ac.uk Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the UK's 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st ever webcam - and continue to advance the field today.
@ccadar.bsky.social @ccadar.bsky.social 
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Yann Herklotz @yannherklotz.com Postdoc at EPFL working with interactive theorem provers for hardware design.
@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
@rpiskac.bsky.social @rpiskac.bsky.social 
@cathalmccabe.bsky.social @cathalmccabe.bsky.social 
Sam Madden @samrmadden.bsky.social MIT Professor in EECS, Co-Founder Cambridge Mobile Telematics, Dad
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Brodie Waddell @brodiewaddell.bsky.social Early Modern History at Birkbeck, University of London | Likes: archives, fatherhood, footnotes, the seaside. | Dislikes: Henry VIII, cars, inequity. My research: https://www.bbk.ac.uk/our-staff/profile/8004317/brodie-waddell
Ed Balls @officialedballs.bsky.social Dad, cook, pianist, economist, Harvard, King's London, Holocaust Fdn co-Chair, NCFC, podcaster, retired dancer, former Cabinet minister, sometimes on TV & Radio
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. 
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@btoninho.bsky.social @btoninho.bsky.social 
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Robert Craig @robcraig400.bsky.social Coordinator of Curriculum Transformation for the EUPeace European University Alliance: https://eupeace.eu. Based at the Justus-Liebig-Universität Gießen in Germany.
Germanist by training. All opinions borrowed and turgidly rephrased. He/his.
Samin Ishtiaq @saminishtiaq.bsky.social SW/HW/Systems; ex-ARM, ex-Microsoft Research. Also post occasionally at https://instagram.com/saminishtiaq/.
Nikolaj @nikolajbjorner.bsky.social 
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
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
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
Michaël Marcozzi @marcozzi.net 🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing).
Works at CEA List Institute from Université Paris-Saclay (France).
http://www.marcozzi.net
I make software safer by viciously torturing it to reveal its flaws.
I can be kind too.
James Dreyfus @jamesdreyfushobbes.bsky.social Actor. Ol’Skool gay. Slave to Hobbes. Account really only here to prevent imposters. Will check in occasionally.
Sonia Sodha @sonia-sodha.bsky.social Columnist & broadcaster. Presenting for BBC Radio 4, news reviews for This Morning & Sky News. Highly commended/shortlisted Society of Editors' Commentator of the Year 2023 & 2024.
soniasodha.com
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
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
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Chelsea Edmonds @cledmonds.bsky.social Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
Pier Luigi Dragotti @pdragotti.bsky.social Professor at Imperial College London, interested in computational imaging, inverse problems, machine learning
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
Shit Planning @planningshit.bsky.social A celebration of all the Shit Stuff imposed on our environment. Perpetrated by Architects, Planners, Surveyors, Engineers & other environmental ne’er do wells.
Salar Rahmanian @salarrahmanian.bsky.social Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io