@ll-lllllll05.bsky.social @ll-lllllll05.bsky.social 
Anagha @anaghadoesmath.bsky.social I work broadly in theoretical computer science.
Helger Lipmaa @helger.bsky.social Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs. 
Paúl R. I. @p-risco-i.bsky.social 
Catalin Dohotaru @catalind1.bsky.social Software engineer. In another life researcher in quantum algorithms. PhD.
@lutzoettershagen.bsky.social @lutzoettershagen.bsky.social Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/- V @valyakuttan.bsky.social @valyakuttan.bsky.social
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- H Pooya @hatami.bsky.social
Huck Bennett @huckbennett.bsky.social Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
https://home.cs.colorado.edu/~hbennett/
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.
Daniel Kane @daneelssoul.bsky.social 
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)
The Fields Institute @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.
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
Yuhao Li @yuhaoli.bsky.social TCS @Columbia
yuhao.li
Rasmus Pagh @rasmuspagh.net Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Lenore Blum @lenoreblum.bsky.social Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
Stefan Grosser @stefangrosser.bsky.social CS PhD Student at McGill
https://blog.catalangrenade.com/p/about.html
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
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net