@hyunwoo-kim.bsky.social
Social Reasoning/Cognition + AI, Postdoc at NVIDIA | Previously @ai2.bsky.social | PhD from Seoul Natl Univ. http://hyunwookim.com
@yann-lecun.bsky.social
Professor a NYU; Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate. http://yann.lecun.com
@eugenevinitsky.bsky.social
Anti-cynic. Towards a weirder future. Reinforcement Learning, Autonomous Vehicles, transportation systems, the works. Asst. Prof at NYU https://emerge-lab.github.io https://www.admonymous.co/eugenevinitsky
@xuanalogue.bsky.social
PhD Student. MIT ProbComp / CoCoSci. Inverting Bayesian models of human reasoning and decision-making. Pronouns: 祂/伊
@aserebrenik.bsky.social
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him
@americannumbers.bsky.social
6 for 24. #Him™ Just Data Science. Tips: https://www.paypal.com/paypalme/AmericanNumbers229 For inquiries: arturo.galletti@gmail.com
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@taliaringer.bsky.social
@ccanonne.github.io
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@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
@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.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@keheliya.github.io
❤️ developer tools + empirical software engineering + programming languages. Pronouns: he/him. #MTL #YVR #LKA 🇱🇰🇨🇦 keheliya.github.io
@pascalpoizat.bsky.social
Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
@bipr.bsky.social
ML & Privacy Prof at the University of Melbourne, Australia. Deputy Dean Research. Prev Microsoft Research, Berkeley EECS PhD. @bipr on the X bird site. He/him.
@svebug.bsky.social
Tenured Faculty at the CISPA Helmholtz Center for Information Security | https://svenbugiel.de/
@neilwalkinshaw.bsky.social
Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@emmettneyman.bsky.social
Magic the Gathering nerd | SWE at Meta working on static analysis for security | interested in PL, Compilers, and Security | CIS@Penn alum | Seattle | he/him
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@jeremybradbury.bsky.social
Professor (Computer Science) at #OntarioTech Software Eng & CS Education Researcher Passionate about applying #AI to SE & #CSEd Views are mine👨🏻💻🇨🇦 (he/him) 🌐 www.seerlab.ca 🦋 @seerlab.bsky.social
@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
@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.
@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
@amyko.phd
Professor @ University of Washington iSchool. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. For fun, I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
@paolotonella.bsky.social
Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@shengwuli.bsky.social
Econ prof at Harvard. (Mechanism design, market design, behavioral theory.) www.shengwu.li
@noahpinion.blogsky.venki.dev
Economics and other interesting stuff Automated feed of https://www.noahpinion.blog/, discover more at @blogsky.venki.dev
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@danluu.com
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu