Divanilson Rodrigo Campelo
Associate Professor at UFPE (Universidade Federal de Pernambuco), Recife, Brazil. | Data networking, vehicular networking, security and privacy. | https://www.cin.ufpe.br/~dcampelo/
Mastodon: @dcampelo@fediscience.org
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@asokan.org
Prof. @uwaterloo.ca, Earlier: @csaalto.bsky.social, Founder @haic_fi, @nokia.bsky.social, @IBMResearch, @SyracuseU.bsky.social, @IITKGP. Also https://bsky.app/profile/asokan.org http://mastodon.social/@nasokan, twitter.com/@nasokan, asokan.org/asokan
@uwdailybulletin.bsky.social
The Daily Bulletin is an electronic news bulletin issued daily for people at #UWaterloo. Submit a story: bulletin@uwaterloo.ca
@sigmod2025.bsky.social
2025 ACM SIGMOD/PODS International Conference on Management of Data.
@fieldsinstitute.bsky.social
At the Fields Institute, mathematics research, innovation and education flourish. We foster an inclusive, equitable and collaborative culture where everyone can discover mathematics, and where mathematicians can make meaningful contributions to the world.
@uwcheritoncs.bsky.social
The Bluesky account of the David R. Cheriton School of Computer Science.
@bostonu.bsky.social
A leading research institution in the heart of Boston. Follow us to hear about all things BU! 📧: social@bu.edu | Community Guidelines: http://spr.ly/6003HciLX
@pratyay85.bsky.social
Senior Director of Research @ Supra | Interested in Cryptography and Security | https://pratyay.net/
@umariqbal.bsky.social
Assistant professor at the Washington University in St. Louis. I research computer security and privacy.
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@zihengh1.bsky.social
CS Ph.D. Student @UWMadison. Research Intern @Apple AIML. Focusing on multimodal models, data curation, and data-centric AI. zihengh1.github.io
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@lin-tan.bsky.social
Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security https://www.cs.purdue.edu/homes/lintan/
@exomorphic.bsky.social
Assistant professor at Télécom Paris and Institut Polytechnique de Paris, working on decision making in complex systems. https://bakirtzis.net
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@senykamara.com
Head of Research & Distinguished Scientist @ MongoDB | ex-Professor @ Brown University | Aroki co-founder (acquired by MongoDB) | ex-Microsoft Research. More at senykamara.com
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/
@sebdarses.bsky.social
Math Assoc. Prof. at Aix-Marseille (France) Currently on Sabbatical at CRM-CNRS, Université de Montréal Teaching Project (non-profit): https://www.highkholle.fr/ https://sites.google.com/view/sebastien-darses/welcome
@sahar-abdelnabi.bsky.social
Researcher @ Microsoft | ex. PhD @ CISPA | Neurodivergent 🧠🦋 | AI safety & security | life and peace for all ☮️, permanent ceasefire 🍉 Opinions my own.
@mguarnieri.bsky.social
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@scwpod.bsky.social
@durumcrustulum.com, @sockpuppet.org, @dadrian.io “Freewheelin’ dynamic”. https://securitycryptographywhatever.com https://podcasts.apple.com/us/podcast/feed/id1578405214
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@swarat.bsky.social
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
@vonderleyen.ec.europa.eu
President of the @ec.europa.eu Mother of seven. Brussels-born. European by heart. 🇪🇺
@404media.co
it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
@katestarbird.bsky.social
Researcher of online rumors & disinformation. Former basketball player. Prof at University of Washington, HCDE. Co-founder of the UW Center for an Informed Public. Personal account: Views may not reflect those of my employer. #RageAgainstTheBullshitMachine
@cryptocarsten.bsky.social
Professor at DTU Compute. Passionate about Cryptography, Hummus and coffee.
@neilturkewitz.bsky.social
I write mostly about the intersection of tech & art/culture which these days means I spend nearly all my time trying to address the exploitation underlying current AI models. A secular humanist interrogating modern religions.
@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
@yannicnoller.bsky.social
CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io
@marcozzi.net
🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing). Works at CEA List Institute from Université Paris-Saclay (France). http://www.marcozzi.net I make software safer by viciously torturing it to reveal its flaws. I can be kind too.
@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/
@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@laurengoode.bsky.social
WIRED Senior Correspondent covering Silicon Valley and its impact beyond. Send tips to Signal handle ChaoticGoode.12. (No PR pitches please)
@superliterario.com.br
O Super Literario é um portal focado em literatura das mais diferentes formas existentes! Temos podcast, notícias e revista. 100% produzido no Norte. Editor: @victorogerio
@margadambrowski.bsky.social
Roteirista e redatora Parcerias: margadambrowski@gmail.com
@annanagurney.bsky.social
Eugene M. Isenberg Chair in Integrative Studies and Director of the Virtual Center for Supernetworks, UMass Amherst, plus Co-Chair of the Board of Directors of the Kyiv School of Economics. My first language is Ukrainian. I like to write books. I love OR.
@abambres.bsky.social
🌍 razao.xyz 💬 Signal: abambres.84 1984, Lisboa, Portugal. PhD engª civil (IST, ULisboa). Professor de matemática, engenharia e computação @razao.xyz. Optimista e minimalista. Interesses: educação, tecnologia, conhecimento, silêncio, natureza, natação.
@science.org
The world's leading outlet for cutting-edge research in all areas of science. https://www.science.org
@ioda.live
Internet Outage Detection & Analysis (https://ioda.live) project @ Georgia Tech's Internet Intelligence Lab (https://inetintel.org). We post about Internet outages worldwide. ioda-info@cc.gatech.edu