Brian C. Keegan, Ph.D. @brianckeegan.com {Social, Data, Network, Information} Scientist, @cuboulder.info
Director, University of Colorado Public Interest Data Science Lab, @cupids-lab.org
High-tempo collaboration, information commons, public interest data science
https://www.brianckeegan.com/
@euiwoong.bsky.social @euiwoong.bsky.social
ePrint Updates @eprint.ing.bot Unofficial bot tracking the IACR Cryptology ePrint Archive (eprint.iacr.org). Maintained by @str4d.xyz.
Currently only posts about new papers. Author names are linkified to Bluesky accounts (cryptography.social); contact maintainer for inclusion/removal.
Daniele Micciancio @daniele.micciancio.net Cryptographer (lattice/post-quantum), Professor at UC San Diego CSE department, Amazon scholar, IACR Fellow. PhD from MIT CSAIL.
@minkihhan.bsky.social @minkihhan.bsky.social
@nyucourant.bsky.social @nyucourant.bsky.social
Deirdre Connolly¹ ² @durumcrustulum.com 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖
¹ isogenist, co-host SCWpod
² https://durumcrustulum.com, https://www.youtube.com/@durumcrustulum
ꭓle Ormsby 𓆙 @e-infinity.space Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.
Eugene Vinitsky 🍒 @eugenevinitsky.bsky.social Anti-cynic. Towards a weirder future. Reinforcement Learning, Autonomous Vehicles, transportation systems, the works. Asst. Prof at NYU. Founding research scientist at Percepta.
https://emerge-lab.github.io
https://www.admonymous.co/eugenevinitsky
Dmitry Grinko @dmitry-grinko.bsky.social quantum stuff @ QuSoft, University of Amsterdam & CWI
Kevin Hartnett @kevinhartnett.bsky.social Science journalist and author of "The Proof in the Code," the story of Lean, the interactive theorem prover developed by Leo de Moura at Microsoft Research, which is transforming the way math research is conducted. Coming in Spring 2026 from Quanta Books. - K David Karger @karger.bsky.social Professor, MIT EECS/CSAIL
http://people.csail.mit.edu/karger
Boulder NLP @bouldernlp.bsky.social Natural Language Processing research community at the University of Colorado Boulder.
www.colorado.edu/research/bouldernlp
Gülce @gkardesd.bsky.social PhD student at CU Boulder Theory and Graduate Fellow at the Santa Fe Institute
Simons Foundation @simonsfoundation.org Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter- T Thomas Dietterich @tdietterich.bsky.social Safe and robust AI/ML, computational sustainability. Former President AAAI and IMLS. Distinguished Professor Emeritus, Oregon State University. https://web.engr.oregonstate.edu/~tgd/
@yanlinchen.bsky.social @yanlinchen.bsky.social
Chris Chavez @chrischavez.bsky.social @CitiusMag.com Founder. Writing and podcasting about track and field, marathons + all things running. Sports Illustrated alum. Email: chris@citiusmag.com | Visit CITIUSMAG.com
Nalini Joshi @monsoon0.bsky.social Mathematician, wife, mother, addicted to math
Maria Leonor Pacheco @mlpacheco.bsky.social Assistant Professor of Computer Science at the University of Colorado Boulder @bouldernlp.bsky.social
🏳️🌈🇻🇪
https://mlpacheco.github.io
European Space Agency @esa.int Elevating the future of Europe through space.
Please see our Privacy Notice: https://esa.int/connectwithus
Jerry Li @jerryzli.bsky.social Associate Professor at UW. I work on learning theory, (very) broadly defined. MIT Ph.D '18. More importantly, I once hit challenger in TFT 😎
Association for Computing Machinery @acm.org The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
Shawn Geller @shawngeller.bsky.social Physicist at NIST Boulder, views are my own.
European Association for Theoretical Computer Science @eatcs.bsky.social The aim of the EATCS is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. #CSTheory
Shyamal Patel @shyamalp.bsky.social TCS PhD Student at Columbia
Daniel Acuna @danielacuna.bsky.social Assoc. Prof. Computer Science at the University of Colorado, Boulder. Prev iSchool, Syracuse University. Postdoc Northwestern University and Ability Lab. PhD Computer Science UMN, Twin Cities
Danna Gurari @dr-g.bsky.social Woman in STEM. Living my passion. Helping others find theirs. #CUBoulder, #UTAustin
Jenn Wortman Vaughan @jennwv.bsky.social Sr. Principal Research Manager at Microsoft Research, NYC // Machine Learning, Responsible AI, Transparency, Intelligibility, Human-AI Interaction // WiML Co-founder // Former NeurIPS & current FAccT Program Co-chair // Brooklyn, NY // http://jennwv.com
Pura Peetathawatchai @poonpura.bsky.social M.S. Computer Science @Stanford. Interested in machine learning privacy, AI security, diffusion models, cryptography, AI for environment, healthcare, education
🌱 poonpura.github.io
Tanja Lange @hyperelliptic.bsky.social https://www.hyperelliptic.org/tanja/
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Gary Hoppenworth @garytho.bsky.social https://web.eecs.umich.edu/~garytho/
LASP @laspatcu.bsky.social The Laboratory for Atmospheric and Space Physics (LASP) at the University of Colorado Boulder is at the forefront of space weather and climate monitoring, solar and planetary research, and the search for evidence of habitable worlds.
Ainesh Bakshi @aineshbakshi.bsky.social Assistant Professor at NYU Courant Institute School | Postdoc at MIT | PhD at CMU | Theoretical Computer Science | Quantum Information
Julia Kempe @kempelab.bsky.social Silver Professor at NYU Courant and CDS, Research Scientist at FAIR
Research in Machine Learning, past in Quantum Computing & Finance. Posts are my own.
Ian Mertz @iwmertz.bsky.social Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
Barna Saha @barnacs.bsky.social Professor, UCSD
Director, EnCORE Institute
Mom of two kids
Dave Bacon @dabacon.tachyon.institute Theoretical ski bum. Former pseudo professor. Quantum bridge builder. Will math for food.
mastodon: @dabacon@tachyon.channel
https://dabacon.org
@emilyriehl.bsky.social @emilyriehl.bsky.social
Yifan Wu @yifanwu.bsky.social Postdoc at Microsoft Research NE
https://yifanwu.me
Rep. Joe Neguse @neguse.house.gov Fighting for the people, lands, water, and farms of Northern & Western Colorado ⛰️. Husband. Dad of two awesome kids. Attorney. Proud Coloradan.
Lakshmi Chandrasekaran @lakshmic.bsky.social Freelance science writer covering tech, math, computer science- https://lakshmichandrasekaran.contently.com/. Words in SIAM news, MIT Tech Review, Science News, Kellogg Insight, Quanta & others.
Blog website: https://scieye.wordpress.com/
Elias Lindgren @eliaslindgren.bsky.social Computer Science Ph.D student at CU Boulder
Gowtham Kaki @gowthamkaki.bsky.social Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security.
https://gowthamk.github.io
@santhoshiniv.bsky.social @santhoshiniv.bsky.social
Johan Ugander @jugander.bsky.social Associate Professor, Yale Statistics & Data Science. Social networks, social and behavioral data, causal inference, mountains. https://jugander.github.io/
@regevlab.bsky.social @regevlab.bsky.social
@karthikcs.bsky.social @karthikcs.bsky.social
John Schanck @susurrusus.bsky.social cryptography and other things computers are bad at. did some pqc stuff. now i work on a browser. he/him. pdx.
Robin Kothari @robinkothari.bsky.social Theoretical computer scientist working on quantum algorithms and complexity at Google Quantum AI. Previously at Microsoft Quantum, MIT, U. Waterloo, and IIT Bombay.
arxiv cs.CC @arxiv-cs-cc.bsky.social Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/cs.CC
maintainer: @tmaehara.bsky.social
arxiv cs.DS @arxiv-cs-ds.bsky.social Computer Science -- Data Structures and Algorithms (cs.DS)
source: https://export.arxiv.org/rss/cs.DS
maintainer: @tmaehara.bsky.social
Jonathan McDowell @planet4589.bsky.social Astrophysicist
Support the work of Jonathan's Space Report:
https://www.gofundme.com/f/fund-jonathans-space-report-library-transition
Vinod @vinodnathan.bsky.social
Adithya Bhaskara @adithyacolorado.bsky.social Incoming Ph. D. Student @ MIT EECS
Interested in theoretical computer science, computational social choice theory, mathematical democracy, politics, and the intersection between theory and practice.
https://officialadithya.github.io
abhaskara@mit.edu
Lynn Engelberts @lynnengelberts.bsky.social Postdoctoral researcher at Centrum Wiskunde & Informatica (CWI) | Designing quantum and classical algorithms for cryptanalysis of post-quantum cryptography 🔍
@gil-kalai.bsky.social @gil-kalai.bsky.social
Nikhil Shagrithaya @nikhilshagri.bsky.social PhD student at University of Michigan.
nikhilshagri.github.io
Jordana Cepelewicz @jordanacep.bsky.social Math and science journalist at @quantamagazine.bsky.social
@tonipitassi.bsky.social @tonipitassi.bsky.social
Senator Bernie Sanders @sanders.senate.gov Sen. Sanders of Vermont, Ranking Member of the U.S. Senate Committee on Health, Education, Labor & Pensions, is the longest-serving independent in congressional history.
Ivan Bliznets @fejoke.bsky.social Never used twitter, created the account at blue sky with a hope that it helps to defeat the villain.
@sambein.bsky.social @sambein.bsky.social
Adam Smith @adamsmith.xyz Professor of computer science at Boston University. Not related to any economists, living or dead, as far as I know.
@chinholee.bsky.social @chinholee.bsky.social
Daniel Kane @daneelssoul.bsky.social
Simons Institute for the Theory of Computing @simonsinstitute.bsky.social The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
Joseph O'Rourke @josephorourke.bsky.social Mathematician and Computer Scientist, Smith College, USA.
https://cs.smith.edu/~jorourke/
Polyhedron displayed in banner has max volume of all convex foldings from a square.
Sébastien Darses @sebdarses.bsky.social Math Assoc. Prof. (on leave from France)
Research: Prob / Stat / Ant
Teaching Project (non-profit): https://highcolle.com/
https://sites.google.com/view/sebastien-darses/research?authuser=0
Dylan Foster 🐢 @djfoster.bsky.social Incoming Assistant Professor in EECS and Statistics at UC Berkeley.
Principal Researcher @ Microsoft Research NE/NYC. Previously @ MIT, Cornell.
AI + RL Foundations. RL Theory Lecture Notes: https://arxiv.org/abs/2312.16730
http://dylanfoster.net
Ali Vakilian @avakilian.bsky.social Research Assistant Professor at TTIC; PhD at MIT EECS; MS
at UIUC.
Working on Algorithms and Machine Learning.
http://www.mit.edu/~vakilian/
Luca De Feo @bsky.defeo.lu Researcher in cryptography @ IBM Research, chief isogenista, SageMath developer, DevOps in my spare time. Opinions my own.
On Mastodon: @luca_defeo@ioc.exchange
Katrina Miller @katrinamillerphd.bsky.social physicist by training, reporter by trade
writer by nature
📍chicago
tips: katrina.miller@nytimes.com
signal: katrinamiller.04
https://katrinamillerphd.com/
Pete Buttigieg @petebuttigieg.bsky.social Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
Cameron Musco @cnmusco.bsky.social CS Professor at UMass Amherst. Theoretical computer science, numerical linear algebra, machine learning.
Oregon Zoo @oregonzoo.bsky.social Together for Wildlife
Noah Stephens-Davidowitz @noahsd.bsky.social Nerd, computer scientist (http://noahsd.com), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things.
FakeIacr @fakeiacr.bsky.social This is the official twitter account for the FakeIACR organization.
João Ribeiro @jmlribeiro.bsky.social Asst Prof, IT and IST, University of Lisbon. Likes coding theory, cryptography, and (pseudo)randomness.
Prev: faculty @ NOVA FCT, postdoc @ CMU, PhD @ Imperial
https://sites.google.com/site/joaorib94/
@nimaanari.com @nimaanari.com
Jessie Finocchiaro @jessiefin.bsky.social Assistant Prof at Boston College. Somewhere between ML theory and EconCS
www.jessiefin.com
Thomas Lin @7homaslin.com Super nerd here to spread the joy of learning.
📖 Publisher @quantabooks.org at @simonsfoundation.org
📚 Author list: Terence Tao, David Tong, Kevin Hartnett
⚛️ Founding EIC @quantamagazine.bsky.social
💼 Prev @nytimes.com, CASW, CUNY J-School
🚴🏼🎾♟️
Aviad Rubinstein @aviad-rubinstein.bsky.social Algorithms for Toddlers (https://youtu.be/nnLOi3ia210) | Algorithms for Teenagers (https://tinyurl.com/2cnp39cf) | Algorithms for Grown Ups (http://dblp.org/pid/11/10308)
Jeroen Zuiddam @jzuiddam.bsky.social Mathematician and computer scientist. Univ. of Amsterdam @UvA_Amsterdam https://staff.fnwi.uva.nl/j.zuiddam/
Error Correction Zoo @eczoo.bsky.social Repository and taxonomy of encodings to robustly store and process classical or quantum information. Recent results and highlights. 1000 codes and counting! https://errorcorrectionzoo.org/ https://discord.gg/gg3pJZNYxQ
Jonathan Scarlett @jmscarlett.bsky.social Associate Professor, National University of Singapore. Working in information theory, machine learning, and statistics.
Nutan Limaye @nutanlimaye.bsky.social
Margot @margotkaminski.bsky.social Professor at Colorado Law. Data privacy, AI, speech.
Bela Sch @belasch.bsky.social science, math, Hungarian born
Giuseppe Persiano @giupers.bsky.social Theoretical Computer Scientist and Cryptographer at U. Salerno, Italy. Juventino.
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Sarah Ackley @sfackley.bsky.social Assistant Professor of Epidemiology at Brown University. Dementia Pharmacoepidemiology. Dynamical Modeling. Statistics. Metascience & Knowledge Representation. Cat Mom. She/her.
@xenaproject.bsky.social @xenaproject.bsky.social
Tim Roughgarden @timroughgarden.bsky.social Columbia CS professor. Head of Research at a16z crypto. Research on algorithms, game theory, mechanism design, blockchains/web3. Author of Algorithms Illuminated, Twenty Lectures on Algorithmic Game Theory, and Beyond the Worst-Case Analysis of Algorithms.
Nicole Wein @nicolewein.bsky.social Assistant professor at University of Michigan. Theoretical computer science.
William Umboh @swumboh.bsky.social Lecturer in Computational Theory, School of Computing and Information Systems, University of Melbourne. Interests: Theoretical computer science and combinatorial optimisation, focussing on approximation and online algorithms. williamumboh.com
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Samson Zhou @szhoucs.bsky.social CS Assistant Professor at Texas A&M University. Sublinear algorithms, machine learning, TCS. Typical academic seeking knowledge, purpose, and free food. He/him.
https://samsonzhou.github.io
Liz Koslov @koslov.bsky.social Assistant Prof of Urban Planning, Environment and Sustainability, and Sociology at UCLA. Ethnographer of "managed retreat.” PhD in Media, Culture, and Communication from NYU.