science journalist | good physics, bad physics, and sometimes ugly physics
Signal: dgaristo.72
Email: digaristo@gmail.com
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
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.
CS PhD student at CMU
Retrieval, Webgraphs, Source Credibility, Adversarial Adaptation
PhD Candidate in Software Engineering @CMU
Studying Rust interop 🦀
borrowsanitizer.com
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/
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.
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Prof CS University of Oslo
https://ebjohnsen.org
Automated reasoning @ AWS.
https://dddejan.github.io/
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Assistant 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.
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Associate Professor, Privacy, Security, Software Engineering at UMaine
https://www.sepidehghanavati.com
Funded by ARC, our lab’s world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
engineer, artist, human // @ figma.com, prev @ Coda // making convivial tools
Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Assistant professor @penn_state . Ph.D @UofIllinois . Usable Security, Trust, Decentralized Governance . Formerly @Google, @maxplanckpress . tanusreesharma.github.io
Dad, husband, engineering manager working on Siri in Pittsburgh. Father to one awesome human kid and two awesomely weird cats. Husband of the super awesome @ellendibiase.bsky.social.
🌱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 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.
Working on future software engineering technologies and teaching about it.
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
Associate Professor of Software Engineering. Interested in requirements engineering and software design. Open-source enthusiast. Opinions here are mine alone. Ad astra per aspera. (⌒‿⌒)
Music obsessive | Tech | AI | Personal agency |Philosophy | Ethics | Coffee wanker |
Assistant Professor at ETH Zurich, Security Researcher.
shwetashinde.org
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Seoul-based freelance journalist.
라파엘 라시드 | 프리랜서 기자 | '우리가 보지 못한 대한민국' 저자 | 서울 거주. raphael@rashid.kr
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
👨💻🕵️♂️ Postdoctoral Fellow @ IIIA-CSIC, Barcelona 🇪🇸
🌐 pmorvalho.github.io 🇵🇹
Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
PhD Student in CMU in Societal Computing
My new special Night Thoughts is out NOW on Hulu.
linktr.ee/kumailnanjiani
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
scientist, storyteller, philosopher
computingthehumanexperience.com
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/
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/
Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
host of https://martinfowler.com
We are a software engineering research group at The Open University (UK)
https://sead.open.ac.uk
Author. Mom. Defender of democracy. http://linktr.ee/marytrump
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.)
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Científico, EiC Transactions on Software Engineering, CONICET, lafhis.dc.uba.ar, imperial.ac.uk
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
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.
Full Prof at University of Regensburg, Germany | Passionate for research | #SoftwareEngineering #Modeling #DigitalTwins | private tweets
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
Technology, Software, Policy, Security, Universities, Art, Antiques, Cats. https://finkelstein.uk
Husband, dad, getting-ever-slower runner, audiobook freak, and occasional ARC Laureate Professor
https://sites.google.com/site/johncgrundy
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/ ]
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/
Associate Prof @DurhamUniversity @comp_sci_durham
- British 🇬🇧 & Venezuelan 🇻🇪 Usually twits about SE & CS research, & politics (personal @Nell_Bencomo) www.nellybencomo.me
Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
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.
Associate Professor, University of Ottawa
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
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
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.
Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
academic/music lover/reader/gamer/espresso drinker+maker
Principal Researcher CodeScene | Adjunct Associate Professor Lund University. Interests: software engineering intelligence, quality assurance, maintainability.
Believe in yourself! Work hard, never give up & anything's possible! OR: Kick back, relax & aim low: You'll never be disappointed...😜 I IGNORE ALL DMs!
Associate Professor, S3D, SCS, Carnegie Mellon University
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
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
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
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
New blue sky. Same old troll.
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
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.
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
The ACM Special Interest Group on Programming Languages.
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Programming language researcher at Microsoft.
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
