Theoretical CS and Combinatorics
Created by
@tap1cse.bsky.social
@eigx.bsky.social
Assistant Professor at the University of Michigan. I design fast graph algorithms in dynamic/distributed/local settings. https://sites.google.com/site/thsaranurak/
@praveshkkothari.bsky.social
Assistant Professor @PrincetonCS Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
@booleananalysis.bsky.social
@prahladh.bsky.social
Computer Scientist, Mathematician, Dancer, Uncle https://www.tcs.tifr.res.in/~prahladh/
@nutanlimaye.bsky.social
@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
@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)
@profsanjeevarora.bsky.social
Director, Princeton Language and Intelligence. Professor of CS.
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@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.
@zacharylipton.bsky.social
Cofounder & CTO @ Abridge, Raj Reddy Associate Prof of ML @ CMU, occasional writer, relapsing 🎷, creator of d2l.ai & approximatelycorrect.com
@gautamkamath.com
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2025. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning. http://www.gautamkamath.com
@tap1cse.bsky.social
Prof in CS at NIT Rourkela, India. Interested in Combinatorics, Theoretical Computer Science, Machine Learning and NLP.