𓋹•𝖌𝖆𝖇𝖗𝖎𝖊𝖑•𓋹 @kvyr-veliky.bsky.social ⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘
he/him, they if i like you
💛🤍💜🖤
gothic mathematician
currently obsessed with bounded arithmetic
department of algebra @matfyz
˚̣̣̣ ꒷︶†︶˚̣̣̣ ꒷︶†︶꒷˚̣̣̣︶ ͡𑁬♱໒ ͡ ︶˚̣̣̣꒷︶†︶꒷ ˚̣̣̣︶†︶꒷ ˚̣̣̣
@tonipitassi.bsky.social @tonipitassi.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.
Shivam Nadimpalli @shivamnadimpalli.bsky.social CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
Hanlin Ren @h4n1in.bsky.social
Ryan O'Donnell @booleananalysis.bsky.social
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Ben Brubaker @benbenbrubaker.bsky.social Computer science staff writer @quantamagazine.org, ex-physicist. More about me at benbrubaker.com. Banner art by Nico Roper — find more of their work at nicoroper.com. [Obligatory disclaimer about views being my own.]
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Gautam Kamath @gautamkamath.com Assistant Prof of CS at NYU Courant. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Jess Sorrell @optimistsinc.bsky.social Assistant prof at JHU CS. Interested in theory of ML, privacy, cryptography. All cat pictures my own and do not represent the cats of my employer
Kira Goldner @kiragoldner.bsky.social Assistant Professor at BU CDS
EconCS | Theory of CS | MD+AI+DS4SG | MD4SG co-founder
Previously Columbia, UW, Oberlin. Views are mine alone.
www.kiragoldner.com
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
@cejin.bsky.social @cejin.bsky.social
Nutan Limaye @nutanlimaye.bsky.social
Joshua Otti @joshuaotti.bsky.social Hi, My name is Joshua Cook Otti. I am a PhD in theoretical computer science, software engineer, and the author for stemforest books.
My website: joshuaotti.com
Stem Forest Books website: stemforestbooks.com
@sajinkoroth.bsky.social @sajinkoroth.bsky.social
Richard Cleve @richardcleve.bsky.social
Joshua Grochow @joshuagrochow.bsky.social Research: TheoryCompSci, pure math, complex systems
Other: climate; covid; equity, inclusion, & accessibility
Assoc. Prof. @ CU Boulder Comp. Sci. & Math
Views my own
@joshuagrochow@mathstodon.xyz (& prev twitter)
https://home.cs.colorado.edu/~jgrochow
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @mahdi.ch Theoretical Computer Science professor @ U. of Michigan-Ann Arbor.
Opinions are mine and may evolve over time.
repost ≠ endorsement.
Policy: I don't interact with anonymous profiles.
Join AAUP.
he/him/his.
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Clément Canonne @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.
Lance Fortnow @lance.fortnow.com Complexity Theorist
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app