@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@mathandcobb.bsky.social
Professor of Mathematics, number theorist (arithmetic geometry), author, Hagoromo chalk ambassador, bonsai amateur. Views expressed are my own.
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@xkcd.com
@nolovedeeplearning.bsky.social
human being | assoc prof in #ML #AI #Edinburgh | PI of #APRIL | #reliable #probabilistic #models #tractable #generative #neuro #symbolic | heretical empiricist | he/him 👉 https://april-tools.github.io
@csh.ac.at
We Are Europe's Research Center Translating Data into Solutions for a Better World
@stevenlevy.bsky.social
Still writing. Editor at Large WIRED. Hackers, Crypto, Facebook: The Inside Story, Insanely Great and other books. Signal: stevenlevy.72
@royalsociety.org
The Royal Society is a Fellowship of the world's most eminent scientists and is the oldest scientific academy in continuous existence.
@dangrossmanseattle.bsky.social
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@thejonullman.bsky.social
Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@robinkothari.bsky.social
Theoretical computer scientist working on quantum algorithms and complexity at Google Quantum AI. Previously at Microsoft Quantum, MIT, U. Waterloo, and IIT Bombay.
@epsilonrational.bsky.social
Studies Algorithmic game theory and online learning University of Pennsylvania/ Simons institute https://www.seas.upenn.edu/~eshwar/
@katymilkman.bsky.social
👩🏫 Professor at Wharton 📖 Author of the WSJ Bestseller #HowToChange 🎧 Host of Charles Schwab’s #Choiceology podcast 📰 Author of the Milkman Delivers newsletter @ http://katymilkman.substack.com 🌎 Website: www.katymilkman.com
@aaroth.bsky.social
Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
@kasperglarsen.bsky.social
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@womeninlogic.bsky.social
Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/
@paulwgoldberg.bsky.social
Professor of Computer Science, Oxford University. Research interest in Algorithmic Game Theory, also Computational Complexity. Also interested in good urbanism & cartoons https://www.cs.ox.ac.uk/people/paul.goldberg/index1.html
@theguardian.com
The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com 🇺🇸 Guardian US https://bsky.app/profile/us.theguardian.com 🇦🇺 Guardian Australia https://bsky.app/profile/australia.theguardian.com
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app