- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
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
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
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Augmenta iunera @license-token.com representative of iunera.com
#ai and #mcp fan!
Hunting crazy projects;
#java #python #angular;
#OpenSource #indiehacker ;
#Bigdata and #AI enthusiast;
loving #crypto and tokenization/#NFT use cases beyond art.
Disrupt #OSS: https://license-token.com
Revista Minerva Universitária @revistaminervauniv.bsky.social Publicação online com ensaios, críticas e crónicas. Uma ponte entre o mundo académico e a sociedade civil. www.revistaminerva.pt
Jérôme Maquoi @jmaquoi.bsky.social PhD student working on Green Software Engineering at the University of Namur, Belgium, in the SNAIL Team (https://snail.info.unamur.be/)
https://jeromemaquoi.github.io/
Sebastian Baltes @sbaltes.bsky.social Software Engineering & Empirical Research
https://empirical-software.engineering
@samgrayson.me @samgrayson.me 
@pcanelas.bsky.social @pcanelas.bsky.social https://pcanelas.com
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Preetha Chatterjee @preethac.bsky.social Asst. Prof. Drexel Dept. Of Computer Science @drexeluniv | Research on mining software repositories, empirical software engineering
https://preethac.github.io/
https://t.ajrkmx1.com/331727/6224/0?po=6533&aff_sub5=SF_006OG000004lmDN
@lionelbriand.bsky.social @lionelbriand.bsky.social 
Rodolphe Lepigre @rlepigre.bsky.social Computer scientist, OCaml programmer, Coq/Rocq hacker
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
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
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Cyrus Omar in NYC @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
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.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Dan Grossman @dangrossmanseattle.bsky.social 
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
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
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Caterina Urban @caterinaurban.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
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
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
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.
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.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Aaron Turon 🪷🦀 @aturon.bsky.social Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Jorge A. Pérez @perezjorgea.bsky.social Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
@jeremysiek.bsky.social @jeremysiek.bsky.social 
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.
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
Sam Lindley @reifyreflect.bsky.social 
Molly Q Feldman @feldmanmolly.bsky.social Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
David Andersen @daveandersen.bsky.social Computer Science Professor, CMU;
co-founder and CTO, Enriched Ag
Energy-efficient computing, a dash of security, and a pinch of databases.
Also on Mastodon (https://hachyderm.io/@dave_andersen )
signal: dga.48
he/him
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Adriana Porter Felt @apf.bsky.social I like writing silly skeets, but that doesn't pay so I also make Google Chrome. mamá, Eng Director, volunteer at Second Harvest. 🇺🇲🇨🇷
Twitter: @__apf__
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Roberto Verdecchia @robertoverdecchia.bsky.social Assistant Professor in Software Engineering. University of Florence, Italy.
Empirical Research, Software Architecture, Technical Debt, Green Software, Software Testing, Life, the Universe, and Everything.
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
https://ko-fi.com/adolfoneto
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Matthew Barr @matthewbarr.co.uk Head of Education & Practice, School of Computing Science, University of Glasgow. Programme Director, Graduate Apprenticeship in Software Engineering. Co-director, Games & Gaming Lab. Director, Ada Scotland Festival.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Divanilson Rodrigo Campelo @dcampelo.bsky.social Associate Professor at UFPE (Universidade Federal de Pernambuco), Recife, Brazil. | Data networking, vehicular networking, security and privacy. | https://www.cin.ufpe.br/~dcampelo/
Mastodon: @dcampelo@fediscience.org
David Heath @davidheath.org Trying to make things work better
Softenheiro de Engeware @mao-ware.bsky.social Eng de software, TeaDAH baixas habilidades, gatero codafofo. “Estava antigamente com esses esquerdistas, mas larguei eles - usavam drogas demais” - Aurélio Barba
Martin Mirchev @mirchevmartin.bsky.social PhD Student in Trustworthy and Secure Software Research group in National University of Singapore
Kritoke @kritoke.bsky.social IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
Pascal Poizat @pascalpoizat.bsky.social Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
Facundo Molina @facundomolina.bsky.social Postdoc Researcher at @IMDEA_Software 🇪🇸, PhD @CONICET 🇦🇷.
https://facumolina.github.io/- K Kyle @kylenetes.bsky.social DevSecOps Engineer, meme enthusiast. This is my new emotional support hellsite after the other one sank
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
Dr Olga Petrovska @drolga.bsky.social Teaching Fellow @ Swansea University | Institute of Coding in Wales | Technocamps
Computer Science | Research | Education | AI | Project Management
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Jonny Low @jonnypjlow.bsky.social 🎓 PhD @ Monash | 🔷 Lecturer in IT @ VU | ⚙️ Software Engineering | 🩺 AI in Healthcare
Craig Read @catharz.bsky.social Aussie, living in Burrinja on Wurundjeri land, working with Elixir and playing with Unreal.
No DMs.
Bogdan Vasilescu @vasilescu.bsky.social I shorten academic research papers to fit in 10 pages for a living, at CMU.
https://www.instagram.com/count_scratchula
http://bvasiles.github.io
Jeroen Janssen @japj.bsky.social Interested in software (engineering) & (making) music, sometimes combining the two.
http://japj.net
https://youtube.com/@japjnl
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
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.
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
Instituto Superior Técnico @istecnico.bsky.social Instituto Superior TÉCNICO is the largest school of Architecture, Engineering, Science and Technology in Portugal, involving a community of 12000+ people on campus 🏛️🇵🇹
tecnico.ulisboa.pt 
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
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app