Ravi Mangal
Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
@reniebird.bsky.social
Incoming Prof at Brown University, PI of the GIRAFFE lab, former AI Policy Advisor in the US Senate. PhD at MIT CSAIL '23, Harvard '16, former Google APM. Dog mom to NSDTR Ducki.
@gokul.dev
PhD student at @cmurobotics.bsky.social working on interactive learning from implicit human feedback (e.g. imitation/RLHF). no model is an island. https://gokul.dev/.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@saxelab.bsky.social
Professor at the Gatsby Unit and Sainsbury Wellcome Centre, UCL, trying to figure out how we learn
@alisongopnik.bsky.social
Cognitive scientist, philosopher, and psychologist at Berkeley, author of The Scientist in the Crib, The Philosophical Baby and The Gardener and the Carpenter and grandmother of six.
@deliprao.bsky.social
Building. Affiliations: @JHU, @Penn, @UCSC, @Amazon, @Twitter || Art: #NLProc, Vision, Speech, #DeepLearning || Life: 道元, improv, running 🌈
@ruchowdh.bsky.social
www.rummanchowdhury.com www.humane-intelligence.org CEO & co-founder, Humane Intelligence US Science Envoy for AI (Biden Administration)
@neuroai.bsky.social
Principal Researcher @ Microsoft Research. Cognitive computational neuroscience & AI. Writer. Nature wanderer. www.momen-nejad.org
@lateinteraction.bsky.social
Incoming asst professor at MIT EECS, Fall 2025. Research scientist at Databricks. CS PhD @StanfordNLP.bsky.social. Author of ColBERT.ai & DSPy.ai.
@stanislavfort.bsky.social
AI + security | Stanford PhD in AI & Cambridge physics | techno-optimism + alignment + progress + growth | 🇺🇸🇨🇿
@andrejristeski.bsky.social
Machine learning researcher. Professor in ML department at CMU.
@lawrennd.bsky.social
Professor of Machine Learning, University of Cambridge, academic lead of ai@cam, Accelerate Science, author of The Atomic Human, proceedings editor for PMLR.
@conitzer.bsky.social
AI professor. Director, Foundations of Cooperative AI Lab at Carnegie Mellon. Head of Technical AI Engagement, Institute for Ethics in AI (Oxford). Author, "Moral AI - And How We Get There." https://www.cs.cmu.edu/~conitzer/
@shubhendu.bsky.social
Interests on bsky: ML research, applied math, and general mathematical and engineering miscellany. Also: Uncertainty, symmetry in ML, reliable deployment; applications in LLMs, computational chemistry/physics, and healthcare. https://shubhendu-trivedi.org
@cpehlevan.bsky.social
theory of neural networks for natural and artificial intelligence https://pehlevan.seas.harvard.edu/
@devanbu.bsky.social
Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
@shamkakade.bsky.social
Harvard Professor. ML and AI. Co-director of the Kempner Institute. https://shamulent.github.io
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@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
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@yaringal.bsky.social
Associate Professor of Machine Learning, University of Oxford; OATML Group Leader; Director of Research at the UK government's AI Safety Institute (formerly UK Taskforce on Frontier AI)
@stellaathena.bsky.social
I make sure that OpenAI et al. aren't the only people who are able to study large scale AI systems.
@gkdziugaite.bsky.social
Sr Research Scientist at Google DeepMind, Toronto. Member, Mila. Adjunct, McGill CS. PhD Machine Learning & MASt Applied Math (Cambridge), BSc Math (Warwick). gkdz.org
@jasonhartline.bsky.social
Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. https://sites.northwestern.edu/hartline/
@joao.omg.lol
Research Engineer at Google DeepMind A special snowflake existing in 196883 dimensions #ActuallyAutistic He/Him
@praveshkkothari.bsky.social
Assistant Professor @PrincetonCS Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
@nandofioretto.bsky.social
Assistant Professor of Computer Science at the University of Virginia. I work on Responsible AI (differential privacy & fairness) and machine learning for science and engineering (differentiable optimization) | http://nandofioretto.github.io
@sbubeck.bsky.social
I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
@rahul.gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing https://rahul.gopinath.org
@irenetrampoline.bsky.social
ML for healthcare and health equity. Assistant Professor at UC Berkeley and UCSF. https://irenechen.net/
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@dangrossmanseattle.bsky.social
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.