Daniel Higginbottom @quantumdan.bsky.social Professor, SFU Department of Physics, and a Director at Photonic Inc. Spins, photons, and all things quantum information. Follow me to learn about our work at SFU's Silicon Quantum Technology lab (www.sfu.ca/physics/siliconquantum/).
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
Saber Darabi @saberdarabi.bsky.social Ph.D in Electrical Engineering, AI-native Power & Energy Researcher
European Medical Journal @emjreviews.com #1 open access destination for healthcare professionals globally.
🔗 emjreviews.com
New Leibniz @newleibniz.bsky.social Econophysicist, opera lover, traveler in time and space. The background picture shows Lorin Maazel after conducting "The Girl of The Golden West" at his farm in Castleton, Virginia in 2013. 
Becky Masson @easyrecipesdash.com Easy, #healthy & delicious #recipes to inspire your daily #cooking! 🍜🍽️👨🍳📸
🌐 easyrecipesdash.com
#food #foodsky #foodie #diet #dinner #lunch #breakfast #drinks #wellness #fitness #lifestyle #cats #birds #gardening #nature #photography 🌿🌱🌾
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
Blair Johnson @blrjohnson.bsky.social ML Ph.D. Student @ Georgia Tech,
Research Engineer @ GTRI,
I work on symbolic pattern discovery in graphs.
SteveH @sghendricks.bsky.social Screenplay tips and comedy videos at: https://www.youtube.com/@ScreenwritingConfidential
The Word Psychic - "Your Fortune Is in the Words": https://wordpsychic.com/
Afham @afhamash.bsky.social Research Fellow at the Centre for Quantum Technologies, National University of Singapore.
Postdoc-ing instead of Age of Empires-ing.
Malayali.
Dysthesis @dysthesis.bsky.social 
Toby Murray @tobycmurray.bsky.social 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
School of Computer Science, University of Sydney @sydneycompsci.bsky.social The official account of the School of Computer Science at the University of Sydney.
🔗 https://www.sydney.edu.au/engineering/schools/school-computer-science.html
Teodors Lisovenko @teodorslisovenko.bsky.social 
@doctasquid.bsky.social @doctasquid.bsky.social 
BHoswell [Money doesn't change men. It unmasks them.] @benhoswell.bsky.social Proud Australian living in New Zealand. Artist. Reader. Gamer. I love animals and nature. Tolkien lover. Cat whisperer.
Former AI art creator. Dismayed at what the AI data centres are doing to our world.
@zaldansoweowenn.bsky.social @zaldansoweowenn.bsky.social This is not the type of fasting we have chosen humble African
Praise to God
AI in Education Podcast @aiineducation.bsky.social A weekly podcast on AI in Education. Find the podcast at https://aipodcast.education
Hosted by Ray Fleming and Dan Bowen
Juho Vepsäläinen @bebraw.bsky.social Technical author (SurviveJS), conference organizer (Future Frontend), Doctor of Science, University teacher (Aalto University).
survivejs.com
Antonia Lo @jsutbbuhgx.bsky.social Web dev
Crypto innovator and owner of:
https://t.me/+FpgyqQLSCRwyZmMy
@yakovdan.bsky.social @yakovdan.bsky.social 
Ȼnews @cnews1.bsky.social Your go-to source for the latest in #crypto. Stay updated with real-time #news, #markettrends, and major developments.
Fast. Simple. Reliable.
💛 Enjoying our content? If you'd like to support us, send us a DM.
norinecoenen.bsky.social @norinecoenen.bsky.social 
William Umboh @swumboh.bsky.social Senior Lecturer in Computational Theory, School of Computing and Information Systems, University of Melbourne. Interests: Theoretical computer science and combinatorial optimisation, focussing on approximation and online algorithms. williamumboh.com
curche @curche.xyz PLT/FM, FOSS, Weeb in no specific order
"Very Computer" problems, Goes off on tangents while replying
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
BabySwiss @284-220.bsky.social Loves to swim
MATRIX @matrix-inst.bsky.social MATRIX is a residential research institute for the mathematical sciences, located in a unique Australian setting on Dja Dja Wurrung Country. Learn more at https://www.matrix-inst.org.au or linkedin.com/in/matrix-australia/ 
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Aaron Eline @aaroneline.bsky.social 
Daniel @fancy11111.eurosky.social Studying Software Engineering & Internet Computing @ TU Wien
CV: https://sifa.id/p/fancy11111.eurosky.social
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Sayantan Sen @sayantansen.bsky.social Postdoc @quantumlah @NUSingapore
Previously: Postdoc @NUSComputing
https://sites.google.com/view/sayantans
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Jiangshan Yu @jiangshanyu.github.io Associate Professor @ University of Sydney
Building resilient, trustworthy, and scalable systems via dependable computing, decentralised systems, and security protocols.
Research: Blockchain, Consensus, Security & Privacy
🌐 jiangshanyu.github.io
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
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Christoph Hochrainer @chochrainer.bsky.social PhD researcher improving reliability in Web3. Testing zero-knowledge tools with custom fuzzers. Into smart contracts, compilers, and system reliability.
🌐 https://christoph-hochrainer.at/
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
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
🇨🇦 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.
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
@acendrou.bsky.social @acendrou.bsky.social 
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
francyell walker @walker157.bsky.social 
Niklas Metzger @niklasmetzger.bsky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
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
Low Society @metacapitalism.bsky.social Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social 
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/
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
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
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
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
VCLA | TU Wien @vclatuwien.bsky.social The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Subash @anterr.bsky.social 
@heyheiko.bsky.social @heyheiko.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
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, 🌹 🇺🇦 🟣
Shenanibro @shenanibro.bsky.social Takin' it one step at a time, man.
Working on systems programming, formal stuff, exotic hardware.
Trying to be nice 🌻
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io- B @badgery.bsky.social @badgery.bsky.social
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him- J @joerocca.bsky.social @joerocca.bsky.social Low-alpha lurking/reposting account. Interested in OSS ML, web, XR, EA (esp WAS/WAW), alt proteins, housing, aging, and stuff like that
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.
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Talia Ringer @taliaringer.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Michael McLoughlin @mmcloughlin.com Mathematical Software Engineer
@raskdhkashda.bsky.social @raskdhkashda.bsky.social