Dan Garisto @dangaristo.bsky.social science journalist | good physics, bad physics, and sometimes ugly physics
Signal: dgaristo.72
Email: digaristo@gmail.com
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Luke Osterritter @losterritter.bsky.social Senior Researcher, Carnegie Mellon. Studying social cyber security and organizational risk using network science and computational and agent-based modeling. But... mostly I play games.
Peter Carragher @pcarragher.bsky.social CS PhD student at CMU
Retrieval, Webgraphs, Source Credibility, Adversarial Adaptation
@ckaestne.bsky.social @ckaestne.bsky.social 
Ian McCormack @icmccorm.com PhD Candidate in Software Engineering @CMU
Studying Rust interop 🦀
borrowsanitizer.com
Courtney Miller @courtneyelta.bsky.social Software engineering phd student at Carnegie Mellon University. Enjoys empirical open source software supply chain sustainability and security research, cycling, and climbing.
http://courtney-e-miller.github.io/
CMU Computer Science Department @csdatcmu.bsky.social The Computer Science Department's mission has remained steadfast: to lead in computer science research and education that has real-world impact — to push the frontiers of the field and produce the next generations leaders.
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
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Joshua Garcia @joshua-garcia-swe.bsky.social Associate Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture.
Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Chris Poskitt @chrisposkitt.bsky.social Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Sepideh Ghanavati @sepi-gh.bsky.social Associate Professor, Privacy, Security, Software Engineering at UMaine
https://www.sepidehghanavati.com
HumaniSE Lab @humanise-lab.bsky.social Funded by ARC, our lab’s world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
Alden @heyalden.bsky.social engineer, artist, human // @ figma.com, prev @ Coda // making convivial tools
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
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
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Tanusree Sharma @tanusrees.bsky.social Assistant professor @penn_state . Ph.D @UofIllinois . Usable Security, Trust, Decentralized Governance . Formerly @Google, @maxplanckpress . tanusreesharma.github.io
ewuuu @eugenewu.net eugenewu.net
Evan DiBiase @evan.dibiase.family Dad and husband helping to build Apple Creator Studio in Pittsburgh.
Jenn Sydeski 🧬 📈 🩺 ⛑️ @jennifersydeski.com 🌱Be the helpers, friends! Mr. Rogers is looking for you🌿
💙 Health Tech 🩻 Life Sciences 🧬🧪 AI 🤖 VR ᯅ Accessibility Advocacy ♿ Community Medical Care ⛑️ Mutual Aid 🤝 Supporting Moms 🦋 Nerdfighteria 🖖 Pittsburgh 🩵 www.jennifersydeski.com
Pittsburgh AI @pittsburghai.bsky.social Pittsburgh is AI City ✨
Pittsburgh AI is a community-driven, human-focused, inclusivity-forward AI City nexus. We bridge ideas, build connections, and shape the future of AI together. Learn more at pgh.ai.- S Klaus Schmid @sklaus.bsky.social Working on future software engineering technologies and teaching about it.
Catherine King @kingcatherine.bsky.social Postdoctoral Fellow in Policy @cmus3d.bsky.social @scsatcmu.bsky.social | Recent PhD graduate in Societal Computing from Carnegie Mellon | BS + MS from @wm.edu | kingcatherine.github.io
Octavio Ocharán @o-ocharan.bsky.social Associate Professor of Software Engineering. Interested in requirements engineering and software design. Open-source enthusiast. Opinions here are mine alone. Ad astra per aspera. (⌒‿⌒)
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
Shweta Shinde @shwetashinde.bsky.social Assistant Professor at ETH Zurich, Security Researcher.
shwetashinde.org
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Balajee @balajee.bsky.social I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
Josh Sunshine @joshsunshine.bsky.social Assistant Professor at Carnegie Mellon. I help people understand the software they create. 
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Raphael Rashid @koryodynasty.bsky.social Seoul-based freelance journalist.
라파엘 라시드 | 프리랜서 기자 | '우리가 보지 못한 대한민국' 저자 | 서울 거주. raphael@rashid.kr
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
Pedro Orvalho @pmorvalho.bsky.social 👨💻🕵️♂️ Marie Skłodowska-Curie Postdoctoral Fellow @ IIIA-CSIC, Barcelona 🇪🇸
🌐 pmorvalho.github.io 🇵🇹
Andreas Wortmann @andwor.bsky.social Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
Carolina Carreira @carolinacarreira.bsky.social PhD Student in CMU in Societal Computing
Kumail Nanjiani @kumail.bsky.social My new special Night Thoughts is out NOW on Hulu.
linktr.ee/kumailnanjiani
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
Tamara Lopez @parseraisin.bsky.social Lecturer at the @openuniversity.bsky.social, member of @ou-sead.bsky.social. Following, reading and reposting here, professional updates can be found on LinkedIn: https://www.linkedin.com/in/parseraisin/
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/
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Martin Fowler @martinfowler.com Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
host of https://martinfowler.com
OU Software Engineering & Design Group @ou-sead.bsky.social We are a software engineering research group at The Open University (UK)
https://sead.open.ac.uk
Mary L Trump @maryltrump.bsky.social Mom. Wife. Author. Defender of democracy. marytrump.org
Diomidis Spinellis @coolsweng.bsky.social Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/
(Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Sebastian Uchitel @suchitel.bsky.social Científico, EiC Transactions on Software Engineering, CONICET, lafhis.dc.uba.ar, imperial.ac.uk
Bernhard Rumpe @bernhardrumpe.bsky.social 
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
Association for Computing Machinery @acm.org The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@lionelbriand.bsky.social @lionelbriand.bsky.social 
Judith Michael @judithmichael.bsky.social Full Prof at University of Regensburg, Germany | Passionate for research | #SoftwareEngineering #Modeling #DigitalTwins | private tweets
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
profserious @profserious.bsky.social Technology, Software, Policy, Security, Universities, Art, Antiques, Cats. https://finkelstein.uk
John Grundy @profjohngrundy.bsky.social Husband, dad, getting-ever-slower runner, audiobook freak, and occasional ARC Laureate Professor
https://sites.google.com/site/johncgrundy
Andrzej Wąsowski (moved away) @andrzejwasowski.scholar.social.ap.brid.gy An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and […]
[bridged from https://scholar.social/@AndrzejWasowski on the fediverse by https://fed.brid.gy/ ]
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Nelly Bencomo @nellybencomo.bsky.social Associate Prof @DurhamUniversity @comp_sci_durham
- British 🇬🇧 & Venezuelan 🇻🇪 Usually twits about SE & CS research, & politics (personal @Nell_Bencomo) www.nellybencomo.me
Andrea Mocci @andreamocci.bsky.social Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
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.
Mehrdad (Mike) Sabetzadeh @msabet.bsky.social Associate Professor, University of Ottawa
Bashar Nuseibeh @basharnuseibeh.bsky.social FREng MRIA MAE FACM
#SoftwareWithoutBoundaries
#responsibleSoftwareEngineering
Executive Dean, City St George’s, University of London.
Professor: The Open University (Emeritus), TCD (Adjunct), UCL (Honorary), Imperial/NII/UCD (Visiting)
Jordi Cabot @jcabot.bsky.social Head of the Software Engineering RDI team at LIST (Luxembourg). FNR Pearl. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder.
Interested in how to build better software faster using a combination of low-code, AI and open source
Daniel Amyot @danielamyot.bsky.social Software Engineering Professor, and Director of the Online Master of Digital Transformation and Innovation, University of Ottawa. Loves his family, Requirements Engineering / Modelling, Process Mining, soccer, teaching, and good craft beer.
Neil Walkinshaw @neilwalkinshaw.bsky.social Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Shaukat Ali @shukat-ali.bsky.social 
Paolo Tonella @paolotonella.bsky.social Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
Liliana Pasquale @lsalander.bsky.social Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Shin Yoo @drsyoo.bsky.social academic/music lover/reader/gamer/espresso drinker+maker
Markus Borg @mrksbrg.bsky.social Principal Researcher CodeScene | Adjunct Associate Professor Lund University. Interests: software engineering intelligence, quality assurance, maintainability.
Mark Hamill @markhamillofficial.bsky.social Believe in yourself! Work hard, never give up & anything's possible! OR: Kick back, relax & aim low: You'll never be disappointed...😜
Andrew Begel @abegel.bsky.social Associate Professor, S3D, SCS, Carnegie Mellon University
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
Nikolaj @nikolajbjorner.bsky.social 
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
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
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. 
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
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
@rpiskac.bsky.social @rpiskac.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
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Dan Grossman @dangrossmanseattle.bsky.social 
Ben Liblit @liblit.bsky.social 
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)