Cristina Cifuentes @cristinacifuentes.bsky.social Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation
@wangjstu.bsky.social @wangjstu.bsky.social 
@greenmon.bsky.social @greenmon.bsky.social 
Nathan @nrutherf.bsky.social Security Researcher and InfoSec PhD-er
Thomas Bock @bockthom.bsky.social Post-Doctoral Researcher at Carnegie Mellon University,
PhD from Saarland University
Jing Liu @fuzzing.bsky.social PhD student at UC Irvine ➡️ MPI-SP advised by @mboehme.bsky.social
https://jing6.netlify.app/
Alistair @codeteacher.bsky.social Computer Science Teacher | Postgraduate Researcher in AI & Programming Pedagogy | NPQSL
@itztycon.bsky.social @itztycon.bsky.social 
0.Shun @ukosy.bsky.social Kochi -> Tsukuba CS -> 社会
ノンデリです
@africaking.bsky.social @africaking.bsky.social 
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
@zero-a-one.bsky.social @zero-a-one.bsky.social 
Aayush Kumar @aayushkumar.bsky.social Incoming PhD Student @ MIT CSAIL | HCI + AI Research | Ex-Research Fellow @ Microsoft PROSE | IIT Kanpur
aeyush10.github.io
Andrea Lops @lopsandrea.bsky.social 
Yu-Fu Fu @fuyu0425.bsky.social 
@yunbolyu.bsky.social @yunbolyu.bsky.social 
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.- B @b0b0haha.bsky.social @b0b0haha.bsky.social
- A Tobias @autobiografie.bsky.social
@onurorman.bsky.social @onurorman.bsky.social 
Tanner Rowlett @trowlett0.bsky.social CS @ UoU - RA for https://futures.cs.utah.edu
Fridtjof Siebert @fridis.bsky.social ࿋🚴🏃🐕🦺🐈🎏🥨🥐🥝🇪🇺
Designing the Fuzion programming language and implementing related tools (http://fuzion-lang.dev).
SW safety&security, static code analysis, compilers, FP&OOP.
Radical cyclist, distance runner, resisting car centric culture.
@yt3333333.bsky.social @yt3333333.bsky.social 
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
IEEE Computer Society @computer.org IEEE Computer Society, the community for technology leaders, is the world's leading computing membership organization and trusted information source.
@ieeecomputerr9.bsky.social @ieeecomputerr9.bsky.social 
jdy @jdysky.bsky.social 
@wangxiz.bsky.social @wangxiz.bsky.social 
@speedy78.bsky.social @speedy78.bsky.social 
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.
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Francisco Gomes @fgoneto.bsky.social he / him. Associate Professor in Software Engineering.
Rabimba @rabimba.bsky.social Working on #WebVR #LLM #blockchain | ex-mozilla | Googe Developer Expert - Web
Opinions are my own
@zcz-sci.bsky.social @zcz-sci.bsky.social 
@haonanzhang.bsky.social @haonanzhang.bsky.social 
Martin Jacobsson @jacobsson.nl Academic researcher in Internet of Things, wearables, sensors, and machine learning for medical, care, well-being, and sports applications. Work at KTH Royal Institute of Technology
https://www.jacobsson.nl/research/
Georgetown University Computer Science Department @georgetowncs.bsky.social The Department of Computer Science at Georgetown University, located in the heart of Washington, DC, is home to higher education and advanced research on the cutting edge of computing and technology.
Find us on LinkedIn: https://shorturl.at/pBJOo
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
NextGen Insights @coralie592.bsky.social Strategic thinking for a rapidly changing world. I'm Cora Sterling, delivering NextGen Insights on #AI & #SaaS. For leaders who build the future. 💎 #FutureProofing #AIStrategy
@javierbarbaesp.bsky.social @javierbarbaesp.bsky.social - L Luca Traini @lucatraini.bsky.social
@000202.bsky.social @000202.bsky.social 
Renata Souza @renatamsouza.bsky.social 👩💻 | Engenheira de Software
🐞 | Engenheira de Teste
👩🎓 | Mestre em Ciência da Computação, Inteligência Artificial | UFPE
📃 | Doutora em Ciência da Computação, Engenharia de Software | UFBA
👨🏫 | Professora | IFBA SAJ
@hannahe05.bsky.social @hannahe05.bsky.social 
Sergio Segura @profsegura.bsky.social Professor in Software Engineering @ Universidad de Sevilla (Spain). Website: https://personales.us.es/sergiosegura/- M Morgan Ericsson @morganericsson.bsky.social
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
Michele Alberti @lambdaxdotx.bsky.social 
Teal @tealamore.com master's in progress researching health inequities, formerly software engineering
software engineer. big fan of not capitalizing letters, leftist and being hella gay
they/them transfemme enby
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.
Alberto Bacchelli @sback.it Tweeting about my personal opinions; RT or Following ≠ endorsement. Professor of Empirical Software Engineering at the University of Zurich. Bolognese.
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/
@lmstr.bsky.social @lmstr.bsky.social lemmster.de
@lemmster, @lmstr, or @lemmy elsewhere 
Ruijie Meng @ruijiemeng.bsky.social Tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
Doehyun Baek @doehyunbaek.bsky.social PhD Student @ CISPA Helmholtz Center for Information Security
https://doehyunbaek.github.io/
@violacampos.bsky.social @violacampos.bsky.social 
@kernkraftwerk.bsky.social @kernkraftwerk.bsky.social 
@kai-gao.bsky.social @kai-gao.bsky.social 
Victor Crespo-Rodriguez @victorcrespo.xyz PhD Student at Monash University. Software Engineering, AI Testing and Autonomous Vehicles. Geek Stuff at times.- I @ivonei.bsky.social @ivonei.bsky.social
Imranur Rahman @imranur.bsky.social PhD student @ncstate.bsky.social, software security
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Federico Bruzzone @federicobruzzone.bsky.social PhD Candidate in Computer Science. Programming Languages and Compilers enthusiast. Also, Sound Engineer and Music Composer.
Lili Wei @liliwei.bsky.social Assistant Professor @McGill University.
@jinshengba.bsky.social @jinshengba.bsky.social 
Michael @michaelsten.bsky.social A books📚, films🎬, photography📸, music🎶, and knowledge📖 lover from Malta (Europe). I’m always happy to follow back and get to know people 😊.- D @dupplo.bsky.social @dupplo.bsky.social
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
Ste Gen Mo Dem 💙📚 🐕🌳 @stegenmodem.bsky.social Supporting Dems Everywhere SG 60 miles South of St Louis @piperformissouri.bsky.social @reichard4rep.bsky.social @fpwellman.bsky.social @wellmanformo.bsky.social @jesspiperfanpage.bsky.social @labarnitz.bsky.social @iquitcigs.bsky.social 📚🚭💙
St. Louis Books @booksstlouis.bsky.social Promoting Authors & their Books NOT SPAM
St Louis Atheists @stlouisatheists.bsky.social "If you wish to make apple pie from scratch, you must first create the universe" Carl Sagan @rsslmo.bsky.social @atheists.org @ffrf.org @nickfish.me @ethicalstl.org @riatheists.bsky.social ⚛️ 📚💙🐕 🚭 Team Site
Rationalist Society St Louis @rsslmo.bsky.social Rationalism is based on reason & knowledge rather than on religious belief. @stlouisatheists.bsky.social @ethicalstl.org @atheists.org @ffrf.org @atheist-memes.com @godlessbitch.bsky.social Team Site
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Amanda Randles 🧪⚛️ 👩🔬 @profamandarandles.bsky.social Director of the Duke University Center for Computational and Digital Health Innovation. Professor of Biomedical Engineering. Research in HPC and digital twins for health.
iPar @pedrordz.bsky.social Software and Technology
Ben Liblit @liblit.bsky.social 
Carlos E. Cuesta @cecuesta.bsky.social Solo podemos intuir un poco del futuro ante nosotros, pero es suficiente para saber que falta mucho por hacer.
Kiril Chilingarashvili @kirilchi.bsky.social Make Things Happen
Karen Smiley (Everyday Ethical AI) @karensmiley.com Independent AI leader, innovator, data strategist, ethicist, author. Hosts "AI, Software, & Wetware" interviews. Curates #SheWritesAI. #EthicalAI #DiversityInTech #WomenInSTEM #DataPrivacy #Equity #Software 100% #WrittenByHuman. Unaffiliated 🇺🇸. She/they.
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
Emmanuel Valverde Ramos @emmanuelvalverde.dev Working 👨💻 @ 🏡 | 🎗️ Cancer survivor 🦸♂️ | Crafter working @BavelVoxel, ex-@codurance_es, ex-@_nailted | co-organizer @murciaswcraft | Open Source #bashunit | International speaker | co-author | #XP #TDD #PairProgramming #TBD #DDD
Sean Ó Gealbháin @seanogealbhain.bsky.social I'm not from here- G @gtsifrikas.bsky.social @gtsifrikas.bsky.social
Steffen Herbold @sherbold.bsky.social https://www.fim.uni-passau.de/ai-engineering/- K Klaas Stol @kjstol.bsky.social Software engineering research, academic research
Lukas Schulte @l-schulte.eu PhD Student at the University of Passau
> Software Engineering Research
> https://l-schulte.eu
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)
Emelie Engström @emeng.bsky.social 
@siegmund.eurosky.social @siegmund.eurosky.social Professor for Software Systems at
Leipzig University
Known for:
"This is not our beer!"
Lee @milltownlad.bsky.social 
Thomas Olsson @tompatompa75.bsky.social Software and science
Étienne André @etienneandre.bsky.social Professeur des Universités
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)
#FlyLess (no plane travel within Europe)
(he/him)
www.etienne-andre.fr
Andrei Homescu @ahomescu.bsky.social @And__Home
@ahomescu@mastodon.world
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
Mehrdad (Mike) Sabetzadeh @msabet.bsky.social Associate Professor, University of Ottawa
@takfarinas.bsky.social @takfarinas.bsky.social 
Centro LIFIA @lifia.ar Centro de investigación de la Facultad de Informática, en la Universidad Nacional de La Plata - Asociado a la Comisión de Investigaciones Científicas de la Provincia de Buenos Aires - Argentina - http://lifia.info.unlp.edu.ar