Harmony Turbines @harmonyturbines.bsky.social Empowering everyday homeowners with clean, renewable wind energy through innovative wind turbines. 🌬️🌱🏡
www.wefunder.com/HarmonyTurbines
https://HarmonyTurbines.com
#WindPower #CleanEnergy #GreenLiving
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
Peter O'Hearn @peterohearn.bsky.social Researcher at Meta (FAIR) & Prof at UCL.
Working on AI, code and reasoning.
Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.- A Arbër @arbersh.bsky.social
@gregolsjr.bsky.social @gregolsjr.bsky.social 
Callum Laing @callumlaing.bsky.social I help ambitious people raise capital, get board seats, take companies public. Let's get more entrepreneurs and builders on bsky!
Author of 4 best selling business books
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
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Imranur Rahman @imranur.bsky.social PhD student @ncstate.bsky.social, software security
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/
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Seongmin Lee @nimgnoeseel.bsky.social 🎲 A board game geek, 🏸 a badminton lover, and a postdoc researcher
@UCLA working on dynamic and statistical program analysis.
EKTO VR 🔜 PAX West Booth 1203 @ektovr.bsky.social Pittsburgh start-up in wearable robotics for VR
Fulfilling the sci-fi promise of virtual reality.
www.ektovr.com
Puppydudley🌹🇪🇺🇺🇳🇨🇦🇲🇽🇺🇦🇵🇸🇺🇸🗽🦅🔱⚖️🪿🍁🍉🫒🕊️✝️ @puppydudley.bsky.social socialist. federalist. supports democratic socialism, universal healthcare & universal basic income. he/him. pro-choice. pro-democracy. anti-war. anti-racist. anti-authoritarian. LGBTQ+ ally. PNW(WA), tech junkie, casual gamer, policy nerd, twitter refugee
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
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- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Dev Shorts @devshorts.in Byte Sized Developer Education | Newsletter on Substack
https://www.devshorts.in/
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.
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 🇨🇦 ♥️ ❤️ 💙
Anthony Costulas @anthonycostulas.bsky.social Based in Pittsburgh with a wife and three kids under 6. U.S. Government Accountability Office analyst working on International Affairs issues. Moe’s burrito addict. Posts are sporadic & fueled by boredom.
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
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
Chris Poskitt @chrisposkitt.bsky.social Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Andrea Mocci @andreamocci.bsky.social Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
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.
Sepideh Ghanavati @sepi-gh.bsky.social Associate Professor, Privacy, Security, Software Engineering at UMaine
https://www.sepidehghanavati.com
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
ewuuu @eugenewu.net eugenewu.net
Tanusree Sharma @tanusrees.bsky.social Assistant professor @penn_state . Ph.D @UofIllinois . Usable Security, Trust, Decentralized Governance . Formerly @Google, @maxplanckpress . tanusreesharma.github.io
Evan DiBiase @evan.dibiase.family Dad and husband helping to build Apple Creator Studio in Pittsburgh.
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.
Andrew Begel @abegel.bsky.social Associate Professor, S3D, SCS, Carnegie Mellon University
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. (⌒‿⌒)
@jhemann.bsky.social @jhemann.bsky.social 
Shweta Shinde @shwetashinde.bsky.social Assistant Professor at ETH Zurich, Security Researcher.
shwetashinde.org
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
Luís F. Gomes @luisfgomes.bsky.social SE PhD Student @ CMU | AI4SE | SE Productivity
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.
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
Josh Sunshine @joshsunshine.bsky.social Assistant Professor at Carnegie Mellon. I help people understand the software they create. 
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.
Kush Jain @kjain14.bsky.social SE PhD Student at Carnegie Mellon University interested in NLP for software engineering, program analysis and software testing. Former intern at Facebook AI Research.
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
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Defragmenter @defragmenter.bsky.social "...Im working on a blueprint for a video game..." #raspberrypi #framework #wholefoods #acorns
draw-a.straw.page
X : @ghost_close_t
https://joindeleteme.com/
privacytools.io
https://v.gd/c42R6Q
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
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
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Claudia Mamede @claudiarmamede.bsky.social SE PhD student at Carnegie Mellon University and University of Porto
Carolina Carreira @carolinacarreira.bsky.social PhD Student in CMU in Societal Computing
Pedro Orvalho @pmorvalho.bsky.social 👨💻🕵️♂️ Marie Skłodowska-Curie Postdoctoral Fellow @ IIIA-CSIC, Barcelona 🇪🇸
🌐 pmorvalho.github.io 🇵🇹
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.
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
Andreas Wortmann @andwor.bsky.social Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
Praneet Koppula @praneetkoppula.bsky.social UX. AI. DevX. Tools. UX4Tools. Information. Knowledge. Research. Coffee. Art. History.
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)
Shaukat Ali @shukat-ali.bsky.social 
Daniel Ramos @danielrramos.bsky.social https://danieltrt.github.io
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/
Ivano Malavolta @imalavolta.bsky.social Associate professor in Software Engineering at #VUamsterdam | Director of Network Institute | https://www.ivanomalavolta.com
Thomas Vogel @tomvog.bsky.social Software engineering for trustworthy autonomous systems.
Researcher @humboldtuni.bsky.social, previously @unipaderborn.bsky.social, PhD from @hpi.bsky.social. Find me at https://thomas-vogel.github.io/