Martin Mirchev
PhD Student in Trustworthy and Secure Software Research group in National University of Singapore
@basharnuseibeh.bsky.social
FREng MRIA MAE FACM #SoftwareWithoutBoundaries: interplay of digital-physical-social spaces #responsibleSoftwareEngineering Professor: The Open University, UCL (Honorary), NII (Visiting), UCD (Visiting) http://nuseibeh.com
@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
@suchitel.bsky.social
Científico, EiC Transactions on Software Engineering, CONICET, lafhis.dc.uba.ar, imperial.ac.uk
@bsky.dfucci.co
A (pretentious) Associate Professor of Empirical Software Engineering researcher at BTH 🇸🇪 Opinions are my own
@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
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@jsimmond.bsky.social
Associate prof. at the University of Chile, interested in MDE, SW product lines, and computer science education .. feminist and Latinity co-founder https://users.dcc.uchile.cl/~jsimmond/
@lina.yt
Hello everyone, Asahi Lina here! I'm a developer VTuber! ▶️ lina.yt/magic EN/日本語｜she/her｜🎨 #AsahiLinArt My gf: @cyan.yt 🩵｜We are @thgirls.yt Model x.com/NananoNanase Design x.com/shiranui_illust PFP @merryhime.bsky.social 📨 [email protected]
@kessc1.bsky.social
#data system, #accounting, #administration. Passionate reader & hobby writer. Love nature, culture and literature. Into Mindfulness & Meditation.
@andwor.bsky.social
Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
@xurxodev.com
Saber crear software de calidad te da libertad. Escribo historias, consejos y experiencias. https://xurxodev.com/libros https://xurxodev.com/estudio-comunidad-xurxodev/
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester 👩🎓👨🎓 Looking for PhD students! Formal Methods Engineering Lab: https://manchester-fme.github.io
@sauftwarebug.bsky.social
I like my Tea and AI, Green🌱, PhD Candidate @DalhousieU, NIT Nagpur CS'20, ex @FidelityInvestments
@cxx.dev
C++ developer specializing in source and binary program analysis and transformation.
@mishacak3s.bsky.social
lesbian comic artist and monster appreciator creator of: Alice and the Nightmare💕, Eldritch Darling👁️, and one really good catgirl✨ patreon.com/mishacakes
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@umathur.bsky.social
Presidential Young Professor at the National University of Singapore. https://www.comp.nus.edu.sg/~umathur/
@yuriybrun.bsky.social
Professor at the University of Massachusetts Amherst https://people.cs.umass.edu/~brun/
@hirenthakore.bsky.social
Bringing software engineering humor, gaming vibes, and dev tips to your feed. 💻+🎮 "Code never lies… but comments sometimes do." Enjoying the content? Fuel my code with coffee ☕️: https://buymeacoffee.com/hirenthakoa
@issta.bsky.social
The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis Trondheim, Norway // 25-28 June 2025 https://conf.researchr.org/home/issta-2025
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@martinfowler.com
Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him. host of https://martinfowler.com
@david-lo.bsky.social
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@techcrunch.com
Technology news and analysis with a focus on founders and startup teams. Got a tip? http://techcrunch.com/tips
@taliaringer.bsky.social
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@yannicnoller.bsky.social
CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io
@ashtom.bsky.social
Building GitHub Copilot for the sake of developer happiness. CEO @GitHub.com
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@gergely.pragmaticengineer.com
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@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.
@moyix.net
AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust