@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@elisagboix.bsky.social
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@drblack.bsky.social
Professor of Computer Science and Tech Evangelist at Durham University; International Keynote Speaker; #womenintech, #100moments tech #podcast host and so much more… https://linktr.ee/drsueblack
@umartin.bsky.social
Knows a lot about Ada Lovelace's science. University of Edinburgh and Wadham College Oxford and Oxford Maths.
@newscientist.com
The best place to find out what’s new in science – and why it matters.
@bildoperationen.bsky.social
Digital Cultures and Arts | UZH & ZHdK | operative images, synthetic media and visual culture @digitalculturesandarts.ch https://linktr.ee/bildoperationen
@eerkeboiten.bsky.social
Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him. Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes.
@museophile.bsky.social
Emeritus Professor of Computing at London South Bank University.
@erc.europa.eu
European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
@unoceandecade.bsky.social
The United Nations Decade of Ocean Science is a common framework to deliver the science we need for the ocean we want by 2030. 🌊 Join us with #OceanDecade 🔗 oceandecade.org
@montages.bsky.social
Montages er Norges fremste filmnettsted – en arena for alle som elsker film. Hør også vår podkast Filmfrelst, og les våre kritiske essays, filmhistoriske dypdykk, intervjuer og nyheter på ➘ http://montages.no // Redaktør på bsky: @karstenm.bsky.social
@cscl-bot.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.CL/new List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
@csail.mit.edu
MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: rachelg@csail.mit.edu
@steffen-zschaler.de
Reader in Software Engineering. MDE, Languages, SE & Theatre. Director of MDENet, the expert network on model-driven engineering. All views my own and not of @kcl.ac.uk.
@loekhere.bsky.social
/lʊk/ | Rekenaarwetenskapper | @tue_softeng | @StellenboschUni | Views mine | loek@me.com | @loekhere@mastodon.social | @loekhere@x.com
@brox1974.bsky.social
CTO at TRIKKS - E-learning for competence, not just compliance | Associate Professor at NTNU | PhD in clinical decision support systems
@pnas.org
Explore groundbreaking news and research from PNAS, one of the world's most-cited scientific journals. Discover its sibling journal, @pnasnexus.org, both official journals of the National Academy of Sciences. Visit www.pnas.org for more info.
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@pascalpoizat.bsky.social
Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
@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
@ichirohasuo.bsky.social
情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
@macher.bsky.social
Chess-loving professor and researcher who champion the integration of software engineering and AI for reproducible science. Diving deep into software variability spaces, from Airbus to Linux. @rennesuniv.bsky.social #INSA #IUF @InstUnivFr @Inria #IRISA
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@icseconf.bsky.social
ICSE is the premier conference in software engineering Other social media accounts: X: https://x.com/icseconf (but you need to be logged in to X) Facebook: https://www.facebook.com/icseconf/ Main website: https://conf.researchr.org/home/icse-2025
@fmrico.bsky.social
Doctor engineer in Robotics, robot hacker, and Full Professor at Rey Juan Carlos University. Leader of @IntellRobotLabs | ex-ROS 2 TSC
@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
@matthewchalmers.bsky.social
Computer scientist into Ubicomp, HCI, theory and (a long time ago) data visualisation. Also kind of keen on mountain things, fine food things, and fine food in the mountains.
@eziobartocci.bsky.social
Prof. @ TU Wien, Cyber-Physical Systems, Chair of TrustACPS Doctoral College
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@paperswelove.org
A community of folks into computer science research and using it for great justice. 🌏 https://paperswelove.org 👀 https://pwlconf.org 🦣 https://mstdn.io/@paperswelove 📺 https://www.youtube.com/@PapersWeLove