Ian Mertz
Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
@kvyr-veliky.bsky.social
⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘⫘ he/him, they if i like you 💛🤍💜🖤 gothic mathematician currently obsessed with bounded arithmetic department of algebra @matfyz ˚̣̣̣ ꒷︶†︶˚̣̣̣ ꒷︶†︶꒷˚̣̣̣︶ ͡𑁬♱໒ ͡ ︶˚̣̣̣꒷︶†︶꒷ ˚̣̣̣︶†︶꒷ ˚̣̣̣
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@shivamnadimpalli.bsky.social
CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
@h4n1in.bsky.social
@booleananalysis.bsky.social
@praveshkkothari.bsky.social
Assistant Professor @PrincetonCS Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
@kasperglarsen.bsky.social
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@benbenbrubaker.bsky.social
Staff writer @quantamagazine.bsky.social covering computer science. Formerly freelance physics writer (Quanta, SciAm, Physics Today, elsewhere), ex-physicist. [Obligatory disclaimer about views being my own.]
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@thesasho.bsky.social
Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
@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
@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
@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.me
linear programming enthusiast. investigator of evil science. haunted by beans. she/her
@nutanlimaye.bsky.social
@joshuaotti.bsky.social
Hi, My name is Joshua Cook Otti. I'm a PhD student at UT Austin studying theoretical computer science and the author for stemforest books. My website: https://www.cs.utexas.edu/~jacook7/ Stem Forest Books website: stemforestbooks.com
@richardcleve.bsky.social
@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.
@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)
@henryyuen.bsky.social
Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net
@ccanonne.bsky.social
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app