Owen From Ohio @owenfromohio.bsky.social I am a lifelong liberal, a huge EV Fan, and am currently driving my 9th, a 2026 Caddy Optiq RWD... None of them were Teslas. I thought Elmo was an idiot from the get-go! 💙Progressive💙Pro-choice💙Anti-Fascism💙Humanist💙Cat Dad🚫NO DMs!!🚫
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Hannah ♡ 💫 @amigochiu.bsky.social down for whatever, just not boring 🙃
Gregory Gay @greggay.bsky.social Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
@gumdrop-88.bsky.social @gumdrop-88.bsky.social 
Jennifer Gable @jennifergable.bsky.social 🌎🏟️🎪🎫Touring Headliner Viral🦠Comedian, Lol0nKillTony,Funny0r😵,Special ‘6 DRINK MINIMUM’ 300K+ Views on YouTube!🤣🫳🎤JenniferGableOfficial.com PHILLY 10/29! FL 4 Shows! Denver 5 Shows! 🎟️🎫& Subscribe: https://bnds.us/4otirb 2nd📺🃏🍿⛲️
Ania @aniatwardowska.bsky.social 🇵🇱 Polish, but based in London 🇬🇧
I strategise stuffs within software development - https://makingstuffs.com
Traveller (💕 Vietnam & Italy) building a travel app - https://www.degrees.travel/
Writer (screenplays, stories and blogs)
Yoga obsessed
@astrophys.bsky.social @astrophys.bsky.social 
Neama @neamasamir.bsky.social 📍Egypt🇪🇬
🧳 🇸🇦🇪🇬🇲🇦
Just Smile
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
UCSB Computer Science Department @ucsb-cs.bsky.social 
Saurabh Singh Rajput @sauftwarebug.bsky.social I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
Lidiany Cerqueira, PhD @lidianycs.bsky.social Senior Software Engineer | PhD in Computer Science. I often post in English, but I'm Brazilian, so I will occasionally post in Portuguese as well.
🔗 https://lidianycs.site/
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
@jhjackyt.bsky.social @jhjackyt.bsky.social 
Steve Moss @gawbul.io Dad, husband, and PhD 🧑🧑🧒🧒👨🏻🎓 Scientist, technologist, and engineer 👨🔬📱👨💻 Bibliophile 📚 Philomath 🤓 Mental health advocate 💚
Passionate about #bioinformatics, #computing, #evolution, #genomics, #medicine, #science, and #sre 🧬🩺💻
Homepage: https://www.gawbul.io
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
Norman @noaasm.bsky.social 💼 Privacy Lawyer | 🎓 Corporate & Commercial Law LL.M alumni @ Maastricht University | 🎓 Public Int'l Law LL.M alumni @ University of Oslo | interested in tech, cybersecurity, data protection, international law & geopolitics | 📍🇪🇪 | views my own
@matioias.bsky.social @matioias.bsky.social 
@braddfordd.bsky.social @braddfordd.bsky.social 
@mclovin2u.bsky.social @mclovin2u.bsky.social 
@tiksn.bsky.social @tiksn.bsky.social 
Chris Webb @topherwebb.bsky.social My account was hacked by a bunch of con-men.
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
🐝 @chockabon.bsky.social professional gunzel
John Crosby @jccrosby.com Figuring out how to stop being a human-doing.
🤝 Building software, leading teams, and making things work.
Ex-chef turned engineer. 🍷🍳
💪 Kettlebells & fly fishing. 🎣
#ROLLTIDE 🐘
📍 Opinions are my own.
Minister Denzil Carnegie @lloydmill.bsky.social 🇨🇦 🍁 🇨🇦 Faith Family Outreach Ministry focuses on sharing the good news of salvation to all nations Jesus Christ teaching on repentance and forgiveness of sins to all nations Toronto Ontario Canada 🇨🇦 ♥️ ❤️ 💙
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Chiemena Ndukwu @ndukwupaschal.bsky.social Skilled Researcher | Public Policy Analyst | Political Analyst | Founder: Chiemena Ndukwu Foundation
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
@minakamel.bsky.social @minakamel.bsky.social movies, tv shows, computers, everton
Michael Hilton @michaelhilton.bsky.social Trying this out
Associate Teaching Professor in Software Engineering @ Carnegie Mellon University 
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
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Resston @resston.bsky.social Brazilian photographer living in São Paulo.
Portfolio: bit.ly/3pz9cRK (look and download) or buy high-resolution, watermark-free photos directly from me at better prices via PIX or PayPal. Send me a message.
Instagram : @resston X : @RobResstonFo
Davide Ancona @davideancona.bsky.social University of Genova, Italy
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@akondrahman.bsky.social @akondrahman.bsky.social 
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Claudiu Ivan @claudiu-ivan.com The ghost was always in the machine. Now it needs tools.
https://www.claudiu-ivan.com/
@sandragreiner.bsky.social @sandragreiner.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
Elisa Gonzalez Boix @elisagboix.bsky.social Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
@rhariharasudhan.bsky.social @rhariharasudhan.bsky.social 
A.G. @antisignal.bsky.social Interdisciplinary artist-researcher. The Historiotheque — my studio, sound-design & research lab, documented in the open.
alexgagnon.com · github.com/Historiotheque · orcid.org/0000-0001-7752-0248
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
Andrea Bombarda @bombardandrea.bsky.social Junior Assistant Professor (RTD-A) at the University of Bergamo working on Software Testing and Software Engineering for medical software and systems
Webpage: cs.unibg.it/bombarda/
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
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.
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
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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@reference-error.bsky.social @reference-error.bsky.social 
Christoph Bühler @handle.invalid Researcher with the Programming-Group at the University of St. Gallen, Switzerland. Interested in nearly everything related to computers ;-)
Hamza Remmal @remmal.net PhD fellow @epfl.ch
Chengyu Zhang @chengyuzhang.bsky.social Lecturer (Assistant Professor) at Loughborough University.
Working on Software Engineering, Programming Languages, and Formal Methods.
🙌 Looking for PhD and visiting students.
@jpalvarado.bsky.social @jpalvarado.bsky.social 
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Andrej @anplanger.bsky.social Staying away from politics by skeeting about funny money
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
George Zakhour @grgzkhr.bsky.social PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me
Zsolt István @zistvan.bsky.social Prof. at the Systems Group at TU Darmstadt
Benjamin Hättasch @bhaettasch.bsky.social Research Manager @DFKI.bsky.social Darmstadt & Postdoc at @tuda-systems.bsky.social at @tuda.bsky.social
Teaches computers 💻 to read & understand 📚 to support us humans.
Private: @bhaettasch@kif.rocks. EN & DE. He
Une chèvre curieuse @datagoat.bsky.social Oeuvre pour les communs numériques 🌱
Je suis un compte de veille géré par un humain, si je vous suis c’est que vous êtes dans la recherche 🔬
Michele Lanza @lanzamichele.bsky.social 
optimistic nihilist @dreamingwhenawake.bsky.social Context of the profile pic: https://www.youtube.com/watch?v=2_Dtmpe9qaQ
There are no easy paths through the current complex of problems, but staying open, cooperative, and optimistic reveals promising directions.
IlPanich @ilpanich.bsky.social Ph. D. in Computer Science & Engineering.
Loves coding, trekking.
[OpenPGP]
openpgp4fpr:46afc08b771cc69feef59941e2df6a1922040e6a
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
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/
@keja.bsky.social @keja.bsky.social 
jw @jw1.bsky.social 
Andrea Mocci @andreamocci.bsky.social Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
Ajitesh Shukla @ajitesh1.bsky.social Mathematical Research ( Algebraic Geometry, Geometric Topology, Differential Geometry), Quant, Large Language Models, Natural Language Processing, Quantum Computing, Cryptography, LORD KRISHNA IS GOD OF MATH
Marcelo Costa @marcelojscosta.bsky.social Father and, friend. IT Digital Transformation, Solution Architecture | PhD Candidate at CESAR School.
Donald Abrams @hypethral.bsky.social Striver for general adequacy occasionally employed as a software maker
🇵🇹
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
@ea640x480.bsky.social @ea640x480.bsky.social The glorious lamp of heaven, the sun, The higher he's a-getting
Adi Dasulza @dasulza.bsky.social The world is a #mess. If you’re lucky, you can make some sense of it. Private profile, work @unisg.ch #Communications #Business #Science Views are my own
University of St.Gallen @unisg.ch Welcome to the official account of the University of St.Gallen (HSG).
https://www.unisg.ch
BlueSky Guy @sanxpher.bsky.social 
@mbr.sh @mbr.sh Security Researcher @IBMResearch
Opinions are mine only.
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/
Systems Group @ TU Darmstadt @tuda-systems.bsky.social Systems Group at the Technical University of Darmstadt, led by Carsten Binnig and Zsolt István.
Website: https://www.informatik.tu-darmstadt.de/systems/
Also: @cs-tudarmstadt.bsky.social @tuda.bsky.social
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
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
Paolo Tonella @paolotonella.bsky.social Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
Christoph Laaber @christoph.laaber.net Software Engineer at Telenor Linx | PhD in Computer Science
https://laaber.net
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Programming Group @prg-grp.bsky.social Programming Group at the University of St. Gallen - School of Computer Science
Prof. Guido Salvaneschi
https://programming-group.com
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
David Spielmann @spdavid.bsky.social PhD student in the Programming Group at the University of St. Gallen
making Infrastructure as Code more reliable
https://david-spielmann.ch/