Alexey Ignatiev
Computer scientist from Melbourne, AU https://alexeyignatiev.github.io
@ulrichjunker.bsky.social
Scientist in Artificial Intelligence and the Decision Sciences. https://uli-research.com/About_Me.html
@christophmolnar.bsky.social
Author of Interpretable Machine Learning and other books Newsletter: https://mindfulmodeler.substack.com/ Website: https://christophmolnar.com/
@juffi-jku.bsky.social
Researcher Machine Learning & Data Mining, Prof. Computational Data Analytics @jkulinz.bsky.social, Austria.
@caterinaurban.bsky.social
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@monashuniversity.bsky.social
Welcome to Monash! Use #MonashUni in your tweets so we can like and share your stuff! Located on the lands of the Kulin Nation. CRICOS number 00008C
@phdcomics.bsky.social
Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, We Have No Idea and PHD Comics
@markhamillofficial.bsky.social
Believe in yourself! Work hard, never give up & anything's possible! OR: Kick back, relax & aim low: You'll never be disappointed...😜 I IGNORE ALL DMs!
@garymarcus.bsky.social
AI and cognitive science, Founder and CEO (Geometric Intelligence, acquired by Uber). 8 books including Guitar Zero, Rebooting AI and Taming Silicon Valley. Newsletter (50k subscribers): garymarcus.substack.com
@dekker.one
OPTIMA Research Fellow working on Modelling Decision and Optimization problems, Programming Languages, and AI at Monash University, Melbourne, Australia. Developer of the MiniZinc language. I also talk about music, birds, cycling, and cricket.
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@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)
@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)
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app