Harish Chandramouleeswaran
Ph. D. student in computer science at the Chennai Mathematical Institute.
Academic webpage: https://sites.google.com/view/harish-chandramouleeswaran
@vijayiyer.bsky.social
music maker // free all political prisoners // fight all supremacies // latest albums: Defiant Life (ECM, 2025) Compassion (ECM 2024), Trouble (BMOP/sound 2024), Love in Exile (Verve 2023) // prof @ h*rv*rd // linktr.ee/vijayiyer
@tobiasrth.bsky.social
Cryptography, Complexity Theory, Formal Methods Enthusiast prev. Cryptography @ Arcium CS @ TUM https://tobias-rothmann.github.io
@jannosiim.bsky.social
Lecturer in Cryptography at the University of Tartu. From Estonia. ZK proofs, SNARKs, security assumptions. Homepage: https://sites.google.com/view/jannosiim
@thomasdenh.bsky.social
I'm doing a PhD in Cryptography at the UniBw in Munich. I took the 10% pledge! https://www.givingwhatwecan.org/pledge
@itsmeyaw.id
M.Sc. Informatics @ TUM Software Engineer @ Siemens AG. Head of IT and Development Department @ TUM Blockchain Club
@emadbeni.bsky.social
Nokia @BellLabs & @CosicBe PhD in CS; Opinions are my own and 100% biased! http://heydari.be; Distributed systems & applied cryptography
@johannamath.bsky.social
Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@sophie.huiberts.me
researcher in linear programming. doing a side project in mathematics for human rights violations
@podc-disc.mathstodon.xyz.ap.brid.gy
ACM Symposium on Principles of Distributed Computing (PODC) and International Symposium on Distributed Computing (DISC) https://podc-disc.github.io [bridged from https://mathstodon.xyz/@podc_disc on the fediverse by https://fed.brid.gy/ ]
@fedeadolfi.bsky.social
Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science https://fedeadolfi.github.io
@shruthiprusty.bsky.social
CS Theory PhD student at Johns Hopkins University. Algorithms, combinatorial optimization, probability. she/her
@jakeruo.bsky.social
CS PhD student at Harvard. Interested in theoretical cs and combinatorics.
@bhumikamittal.bsky.social
bhumikamittal.in Undergraduate Student at AshokaUniv. I am interested in cryptography and computational complexity.
@sanyuktad.bsky.social
PhD Candidate @ University of Illinois Urbana-Champaign | Operations Research, EconCS, Game Theory, Computational Social Choice https://sites.google.com/view/sanyukta-deshpande/home
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@tap1cse.bsky.social
Prof in CS at NIT Rourkela, India. Interested in Combinatorics, Theoretical Computer Science, Machine Learning and NLP.
@maskedpencil.bsky.social
Learner by day, un-learner by night. Here for computer science, politics, and tennis. In that order? That's tl's to figure it out. ☭🏳️🌈 #freepalestine.✊🏽🇵🇸
@satwik77.bsky.social
CS PhD student at Oxford | Ex - Research fellow at Microsoft Research India, Undergrad at BITS Pilani satwikb.com
@anamay-tengse.bsky.social
Interested in maths, music, poetry and cricket. Very interested, and therefore working, in theoretical CS.
@steifer.pl
mathematics, theoretical computer science, philosophy @ Universidad Católica de Chile & Polish Academy of Sciences | 'The evolution of sense is, in a sense, the evolution of nonsense.'
@gabey.zip
phd student @UChicagoCS. interested in cryptography, algorithms, combinatorics. gabey.zip
@gavin-brown.bsky.social
Postdoc at UW CSE. Differential privacy, memorization in ML, and learning theory.
@anujdawar.bsky.social
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
@arindamkhan.bsky.social
Algorithmist CS Prof. @ IISc Bangalore. Past: Georgia Tech, IIT Kharagpur
@hadihoss.bsky.social
Associate professor @Penn_State | PhD @UofWaterloo | postdoc @SCSatCMU. AI/CS/Econ. Teaching machines to behave socially & #sapiens to behave optimally!
@idanattias.bsky.social
Postdoc researcher at IDEAL Institute in Chicago, hosted by UIC and TTIC. My research interests are in machine learning theory, data-driven sequential decision-making, and theoretical computer science. https://www.idanattias.com/
@andrejristeski.bsky.social
Machine learning researcher. Professor in ML department at CMU.
@epsilonrational.bsky.social
Studies Algorithmic game theory and online learning University of Pennsylvania/ Simons institute https://www.seas.upenn.edu/~eshwar/
@jubaz.bsky.social
Assistant professor at Georgia Tech in ISyE. I do mechanism design, differential privacy, fairness, and learning theory, mostly. Postdoc @Penn; Ph.D. @Caltech; MSc @Columbia and @Supélec. He/him.
@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
@froystig.bsky.social
research scientist at google deepmind. co-author of JAX (https://github.com/jax-ml/jax) https://cs.stanford.edu/~rfrostig
@sloanfoundation.bsky.social
We fund research, engagement and education in science, technology, engineering, mathematics and economics. Based in NYC. More here: https://sloan.org/
@zacharylipton.bsky.social
Cofounder & CTO @ Abridge, Raj Reddy Associate Prof of ML @ CMU, occasional writer, relapsing 🎷, creator of d2l.ai & approximatelycorrect.com
@bouldertheory.bsky.social
Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
@archernikov.bsky.social
Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc. chernikov.me
@vatter.bsky.social
Mathematician at the University of Florida. Here for the hot takes. Also @[email protected]
@szeider.bsky.social
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.