Ravi Mangal
Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
@looselycorrect.bsky.social
Senior assistant prof at University of Trento. I dig Explainable AI, Neuro-Symbolic AI, Interactive ML, Constraints & Circuits. https://stefanoteso.github.io/ . I "maintain" https://github.com/stefanoteso/awesome-explanatory-supervision .
@jbhuang0604.bsky.social
Associate Professor at UMD CS. YouTube: https://youtube.com/@jbhuang0604 Interested in how computers can learn and see.
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@atlaswang.bsky.social
https://vita-group.github.io/ 👨🏫 UT Austin ML Professor (on leave) https://www.xtxmarkets.com/ 🏦 XTX Markets Research Director (NYC AI Lab) Superpower is trying everything 🪅 Newest focus: training next-generation super intelligence - Preview above 👶
@nesyconf.org
19th International conference on Neurosymbolic Learning and Reasoning UC Santa Cruz, Santa Cruz, California 8 to 10 September 2025 https://2025.nesyconf.org
@mahdisoltan.bsky.social
work on theoretical foundations of AI, MLLM reliability/Eval, optimization, high dimensional probability/statistics, AI for science/healthcare; director of center on AIF4S @USC 🚲🏔️🥾🏊♂️
@dimitrisp.bsky.social
Researcher @MSFTResearch; Prof @UWMadison (on leave); learning in context; thinking about reasoning; babas of Inez Lily. https://papail.io
@henrygo.uk
Assistant Professor (Lecturer) and RAEng Research Fellow at University of Edinburgh 🏴. Working on Verifiable AI. henrygouk.com
@reshabh.bsky.social
Everything is a compiler! PhD student @uwcse Opinions are my own!
@richtarik.bsky.social
Professor of CS and Math @ KAUST. Interested in Optimization for Machine Learning. Federated learning guru. Likes 🏓🏋️♂️🎾🏐⛷️⛸️🧘♂️🤿🎹🎸✈️🏔️📷☀️🐈🍅🥚☕️
@jeffreybigham.com
Professor of HCII and LTI at Carnegie Mellon School of Computer Science. jeffreybigham.com
@neurograce.bsky.social
Assistant Professor, Psychology & Data Science @ NYU | Working on brains & climate (separately) | Author of "Models of the Mind: How physics, engineering, and mathematics have shaped our understanding of the brain" http://tinyurl.com/h9dn4bw7
@pratyushmaini.bsky.social
Data Quality x Privacy PhD student @ CMU with Zico Kolter and Zack Lipton | Founding Member @datologyai.com | Prev. Comp Sc @iitdelhi http://pratyushmaini.github.io/
@rl-theory.bsky.social
Virtual seminar series featuring the latest advances in theoretical reinforcement learning. Seminars (approximately) every Tuesday at 6pm UTC. > https://sites.google.com/corp/view/rltheoryseminars
@rasmuspagh.net
Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
@radishharmers.bsky.social
Born Samuel Langhorne Clemens in rural Missouri. Adopted the pen name "Sridhar Ramesh" from riverboat slang.
@vincefort.bsky.social
PI at Helmholtz AI, Faculty at TU Munich, Fellow at Zuse School for reliable AI, Branco Weiss Fellow, ELLIS Scholar. Prev: Cambridge CBL, St John's College, ETH Zürich, Google Brain, Microsoft Research, Disney Research. https://fortuin.github.io/
@deisenroth.bsky.social
Machine learning, environmental modeling, sustainability, robotics Professor @UCL He/him
@mvdw.bsky.social
Associate Professor in Machine Learning at the University of Oxford. Interested in automatic inductive bias selection using Bayesian tools.
@andrewgwils.bsky.social
Machine Learning Professor https://cims.nyu.edu/~andrewgw
@davidduvenaud.bsky.social
Machine learning prof at U Toronto. Working on evals and AGI governance.
@inference.vc
Secular Bayesian. Professor of Machine Learning at Cambridge Computer Lab Talent aficionado at http://airetreat.org Alum of Twitter, Magic Pony and Balderton Capital
@nicolaspapernot.bsky.social
Security and Privacy of Machine Learning at UofT, Vector Institute, and Google 🇨🇦🇫🇷🇪🇺 Co-Director of Canadian AI Safety Institute (CAISI) Research Program at CIFAR. Opinions mine
@kerstingaiml.bsky.social
AI Prof at TU Darmstadt, Founding Co-Director Hessian.AI, DFKI, AAAI/EurAI/AAIA/ELLIS Fellow, AAAI24 Ass. PC CoChair, Fmr. PC CoChair UAI, ECML PKDD, Invest. @Aleph__Alpha, Fmr. AI Column German Newspaper Welt (am Sonntag)
@serge.belongie.com
Professor, University Of Copenhagen 🇩🇰 PI @belongielab.org 🕵️♂️ Director @aicentre.dk 🤖 Board member @ellis.eu 🇪🇺 Formerly: Cornell, Google, UCSD #ComputerVision #MachineLearning
@adjiboussodieng.bsky.social
Academic at Princeton University. Leading @vertaix.bsky.social on research at the intersection of AI and the natural sciences. Founder of @theafricaiknow.bsky.social. Research Scientist at Google DeepMind.
@neurovium.bsky.social
Computational neuroscience, Physics of Complex Systems, Bio-Inspired Intelligence, Foundations of Physical Computing https://compneuro.mit.edu/home
@gowthamkaki.bsky.social
Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security. https://gowthamk.github.io
@maosbot.bsky.social
Parent, spouse, Australian, cyclist, Professor of Machine Learning in Oxford. Bayesian ML, Long Covid, photos of dog, AI must be good for humans, https://www.robots.ox.ac.uk/~mosb
@avehtari.bsky.social
Professor in computational Bayesian modeling at Aalto University, Finland. Bayesian Data Analysis 3rd ed, Regression and Other Stories, and Active Statistics co-author. #mcmc_stan and #arviz developer. Also in Mastodon: https://bayes.club/@avehtari
@astrokatie.com
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr. Personal account; not speaking for employer or anyone else.
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "BIRDS" by Turnstile
@mufan-li.bsky.social
Postdoc at Princeton | Incoming Assistant Prof at Waterloo Statistics | Prev: PhD at UofT and Vector https://mufan-li.github.io/
@colah.bsky.social
Reverse engineering neural networks at Anthropic. Previously Distill, OpenAI, Google Brain.Personal account.
@profsanjeevarora.bsky.social
Director, Princeton Language and Intelligence. Professor of CS.
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@teuber.bsky.social
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
@adityagp.bsky.social
Prof @ UC Berkeley. Codirector @ EPIC data lab. Cofounder @ Ponder (Acq. Snowflake). Interested in data, systems, and people. More at: adityagp.net
@francois.fleuret.org
Research Scientist Meta/FAIR, Prof. University of Geneva, co-founder Neural Concept SA. I like reality. https://fleuret.org