Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Daniel Dobriy @smntc.bsky.social Researcher & faculty member @DPKM dedicated to the field of AI, with the focus on knowledge technologies (knowledge graphs, semweb, RAG) & their use in e-gov, skills matching, research ecosystem, digital humanities and education. Partner @km-a.bsky.social.
RAGE-KG 2026 @rage-kg.bsky.social RAGE-KG (Retrieval-Augmented Generation Enabled by Knowledge Graphs) is an established academic workshop targeting synergies between #KGs, #RAG and #LLMs, coming to #ISWC 2026 in Bari, Italy 🇮🇹.
CfP: https://rage-kg.org
Connect and share on Bluesky ☀️
IJCAIconf @ijcai.org IJCAI is the longest-running premier international AI research conference since 1969. 🌍 Connect across domains and feel the pulse of AI. 🗓️ #IJCAI2027❗August 7-13, 2027❗Kyoto, Japan
Jonas Schouterden @joschout.bsky.social Software Engineer at Google. ML PhD from DTAI. Alumnus Computer Science KU Leuven.
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Carlos Hernández Corbato 🟥 @chcorbato.bsky.social Associate professor at Cognitive Robotics | Mechanical Engineering | Delft University of Technology.
Opinions are my own.
Carl T. Bergstrom @carlbergstrom.com Professor, UW Biology / Santa Fe Institute
I study how information flows in biology, science, and society.
Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b
LLM course: https://thebullshitmachines.com
Corvids: https://tinyurl.com/mr2n5ymk
he/him
Cristina Cornelio @corneliocristina.bsky.social Research Scientist @ Samsung AI https://corneliocristina.github.io
Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
Sukrut Rao @sukrutrao.bsky.social PhD Student at the Max Planck Institute for Informatics @cvml.mpi-inf.mpg.de @maxplanck.de | Explainable AI, Computer Vision, Neuroexplicit Models
Web: sukrutrao.github.io
Katherine Davis @kd-katdavis.bsky.social Research Manager, Modelling @wellcometrust.bsky.social | Interested in infectious diseases, strengthening the modelling ecosystem, and finding good cake | Views my own
Michael Eisen @mbeisen.bsky.social Nematode antagonist
Thiviyan Thanapalasingam @thiviyan.bsky.social Research Scientist at Sony AI, working on AI for Scientific Discovery.
Neurosymbolic Learning and Reasoning.
thiviyansingam.com
Dr. M. Birna van Riemsdijk @mbirna.bsky.social Computer Scientist @utwente.bsky.social #LogicBasedAI #MultiAgentSystems | Intimate Computing #values #vulnerability https://intimate-computing.net | Disability | Towards a caring and inspiring digital society
Niklas Wretblad @niklaswretblad.bsky.social AI researcher currently working for the Reasoning and Learning Lab @ Linköping University. Spend most of my time building multilingual foundation models for the Germanic languages through the TrustLLM EU Horizon project 🇪🇺
Zhe Zeng @zzhe.bsky.social Incoming Assist. Prof. @UVA | Faculty fellow @NYU | CS Ph.D @UCLA | Neurosymbolic AI, Probabilistic ML, Constraints, AI4Science | https://zzeng.me/
Piotr Wyrwiński @piotrwyrwinski.bsky.social PhD student @PUT_Poznan | @ghostdayamlc | Program synthesis | Neurosymbolic AI
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Miltos Allamanis @miltosa.bsky.social Researcher at DeepMind
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Ilya Sergey @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
🇺🇦 Alex Polozov @alexpolozov.com Sr. Staff Research Scientist @ Google DeepMind • previously Google X, Microsoft Research, UW • program synthesis, AI for Code and SWE • he/him • alexpolozov.com
Michael Carbin @mcarbin.bsky.social Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Aditya Nori @avnori.bsky.social Researcher at Microsoft Research, Cambridge
Levi Lelis @programsynthesis.bsky.social Associate Professor - University of Alberta
Canada CIFAR AI Chair with Amii
Machine Learning and Program Synthesis
he/him; ele/dele 🇨🇦 🇧🇷
https://www.cs.ualberta.ca/~santanad
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
David Debot @daviddebot.bsky.social PhD student @dtai-kuleuven.bsky.social in neurosymbolic AI and concept-based learning
https://daviddebot.github.io/
YooJung Choi @yjchoi1.bsky.social Assistant Professor at SCAI, ASU
yoojungchoi.github.io
@ademkikaj.bsky.social @ademkikaj.bsky.social 
uai2026 @auai.org Association for Uncertainty in AI.
Upcoming conference: #uai2026 August 17-21 in Amsterdam, Netherlands! 🇳🇱
https://auai.org/uai2026
Alan Mackworth @alanmackworth.bsky.social Scientist, AI researcher, roboticist, professor emeritus. Coauthor “Artificial Intelligence: Foundations of Computational Agents” http://artint.info 🇨🇦
Benjamin Paaßen @bpaassen.bsky.social Junior Professor for Knowledge Representation and Machine Learning at Bielefeld University; researches machine learning for education; co-host of "Autonomie und Algorithmen" podcast; preferred pronouns: they/them 🏳️🌈; views are my own
Devendra Singh Dhami @devendradhami.bsky.social Pahadi 🇮🇳| Assistant Professor at TU Eindhoven 🇳🇱| Causality, Neuro-symbolic AI, Probabilistic Circuits and pretty much all of Machine Learning ;)
Robert Peharz @ropeharz.bsky.social Assistant prof at TU Graz, formerly assistant prof at TU Eindhoven, Marie-Curie Fellow at University of Cambridge. Probabilistic Machine Learning.
Sriraam Natarajan @nsriraam.bsky.social Professor of CS working in Statistical Relational AI, neurosymbolic AI, graphical models, sequential decision making and healthcare.
Kristian Kersting @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) 
Andrew Gordon Wilson @andrewgwils.bsky.social Machine Learning Professor
https://cims.nyu.edu/~andrewgw
Jelle Zuidema 🟥 @wzuidema.bsky.social Associate Professor of Natural Language Processing & Explainable AI, University of Amsterdam, ILLC
Nicola Saccomanno @nicosacco.bsky.social PostDoc Researcher. PhD in Computer Science @uniud. #NeuroSymbolicAI, #Data #science, and #AI applied to indoor #positioning and #healthcare.
Daniel Lowd @dlowd.com CS Prof at the University of Oregon, studying adversarial machine learning, data poisoning, interpretable AI, probabilistic and relational models, and more. Avid unicyclist and occasional singer-songwriter. He/him
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Levin Hornischer @levinhornischer.bsky.social Assistant professor at LMU Munich, MCMP (Munich Center for Mathematical Philosophy). He/him.
Working on: foundations of AI, logic, dynamical systems, semantics, epistemology.
https://levinhornischer.github.io/
Chris Rackauckas @chrisrackauckas.bsky.social Lead dev of SciML org, VP of Modeling and Simulation @JuliaHub, Director of Scientific Research @PumasAI, and Research Staff
@mit_csail. #julialang #sciml
Pulkit Verma @pulkitverma.bsky.social Postdoc @csail.mit.edu, Ph.D. from @scai-asu.bsky.social
Working on AI Safety, AI Assessment, Automated Planning, Interpretability, Robotics
Previously: Masters from IITGuwahati, Research Intern at MetaAI
https://pulkitverma.net
Julia Language @julialang.org Julia is a high-level, dynamic programming language built for technical computing.
Official Bluesky account of the Julia Language Project
#JuliaLang
Florent Delgrange @florentdelgrange.bsky.social Reinforcement Learner
delgrange.me
Albrecht Zimmermann @azimmermdm.bsky.social Maître de conférence @ Greyc Lab, University of Caen, NBA and NFL enthusiast (and sometimes data analyst), Luddite
Reality has a left-wing bias
https://www.scientific-data-mining.org
Leuven.AI @leuvenai.bsky.social The KU Leuven Institute for Artificial Intelligence
- website: https://ai.kuleuven.be/
- stories: https://ai.kuleuven.be/stories/
- jobs: https://ai.kuleuven.be/job-opportunities
Robin Manhaeve @robinmanhaeve.bsky.social A post-doc researcher at DTAI, KU Leuven. I focus on neurosymbolic AI.
NeSy 2026 Conference @nesyconf.org 20th International conference on Neurosymbolic Learning and Reasoning
University of Lisbon, Lisbon, Portugal
1 to 4 September 2026
https://nesy-ai.org/
https://2026.nesyconf.org
Ying Jiao @jiaoying.bsky.social PhD researcher @ KU Leuven, member of LEMUR MSCA doctoral network
NeuroSymbolic AI + LLM
@stevenschockaert.bsky.social @stevenschockaert.bsky.social 
Michael Cochez @michaelcochez.bsky.social Researcher, machine learning with knowledge graphs
Assistant professor at Vrije Universiteit amsterdam- W Wannes Meert @wannesm.bsky.social
@jessabekker.bsky.social @jessabekker.bsky.social 
Luc De Raedt @lucderaedt.bsky.social Professor of AI, DTAI, KU Leuven; Wallenberg Guestprofessor AASS, Örebro University; Director http://Leuven.AI, AAAI and EurAI Fellow, Former PC Chair IJCAI, ICML, ECAI and ECMLPKDD, ERC AdG 2015 and 2023
Jesse Davis @jessejdavis.bsky.social Professor @ KU Leuven researching AI, machine learning, and sports. Co founder of runeasi
Gabriele Venturato @gabventurato.bsky.social PhD Student in Neurosymbolic AI @ DTAI Lab, KU Leuven
DTAI - KU Leuven @dtai-kuleuven.bsky.social Declarative Languages and Artificial Intelligence research group at the KU Leuven Computer Science department.
https://dtai.cs.kuleuven.be
Erkan Karabulut @erkankarabulut.bsky.social PhD Student at the University of Amsterdam | Neurosymbolic AI.
https://erkankarabulut.github.io/
Natasha Butt @natashabutt.bsky.social PhD student at the University of Amsterdam
Advised by Max Welling and Jan-Willem van de Meent
Taco Cohen @taco-cohen.bsky.social Deep learner at FAIR. Into codegen, RL, equivariance, generative models. Spent time at Qualcomm, Scyfer (acquired), UvA, Deepmind, OpenAI.
Tilman Hinnerichs @thinnerichs.bsky.social PhD student at TU Delft; All things Program Synthesis and NeSy AI. Check out tilman.hinnerichs.com and our library https://herb-ai.github.io
Claire Glanois @claire-aoi.bsky.social Mathematician / AI Researcher @ITUkbh
Thinking about AI x Self-organisation, Open-endedness & Collective Intelligence.
Looking for sustainable & porous ways to inhabit Earth
Emanuele Marconato @ema-ridopoco.bsky.social Post-doc @ University of Trento. I did my PhD @ University of Trento and the University of Pisa. I like #concepts, #symbols, and #representations, but I still don't know what they are.
📍 Trento, Italy
🧵 #identifiability, #shortcuts, #interpretability
Artur d'Avila Garcez @arturgarcez.bsky.social Professor of Computer Science. Author of Neural-Symbolic Cognitive Reasoning. Founder of Cognitive Intelligence, NeSy Association, NeSy conference series. Editor-in-chief Neurosymbolic AI journal.
@ivandonadello.bsky.social @ivandonadello.bsky.social 
magdalenaortiz.bsky.social @magdalenaortiz.bsky.social Researcher of Knowledge Representation and Reasoning, passionate about logic. Mexican living in Austria raisings three wonderfully multicultural, multilingual kids 🇲🇽🇱🇹🇦🇹🇸🇪🇪🇸
Slava Ukraini 🇺🇦
Giuseppe Marra @giuseppemarra.bsky.social Assistant Professor in Artificial Intelligence
KU Leuven
Belgium
Vincent Derkinderen @vincentderk.bsky.social Postdoctoral researcher @ KU Leuven
NeuroSymbolic AI & Knowledge Compilation
Eleonora Giunchiglia @e-giunchiglia.bsky.social Assistant Professor at Imperial College London | EEE Department and I-X.
Neuro-symbolic AI, Safe AI, Generative Models
Previously: Post-doc at TU Wien, DPhil at the University of Oxford.
Can Mingir @canmingir.bsky.social #NeuroSymbolic #AI Advocate | Contributor at https://github.com/NucleoidAI/Nucleoid | Mod at http://dev.to | "Skynet was gone. And now one road has become many"
ELLIS @ellis.eu Strengthening Europe's Leadership in AI through Research Excellence | ellis.eu
@somakaditya.bsky.social @somakaditya.bsky.social Asst. Prof @IITKgp CSE | KR&R and DL | Ex-Visiting Prof @UKPLab, Postdoc @IndiaMSR, PhD @ASU, Masters @IIScCSA
Kartik Chandra @kartikchandra.bsky.social I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Tracey Mills @traceym.bsky.social PhD student @ MIT BCS
@noahgoodman.bsky.social @noahgoodman.bsky.social 
sbi - Simulation-based inference @sbi-devs.bsky.social Community-maintained simulation-based inference (SBI) toolkit in PyTorch:
• NPE, NLE & NRE
• amortized and sequential inference
• wide range of diagnostics
Posts written by @deismic.bsky.social & @janboelts.bsky.social.
🔗 https://github.com/sbi-dev/sbi
Poorva Garg @poorvagarg.bsky.social Working on Probabilistic Programming Languages
https://web.cs.ucla.edu/~poorvagarg/- S Andrew Gelman et al. @statmodeling.bsky.social Automatically tweets new posts from http://statmodeling.stat.columbia.edu
Please respond in the comment section of the blog.
Old posts spool at https://twitter.com/StatRetro
Chad Scherrer @cscherrer.bsky.social Doing Bayesian stuff in #rustlang and #julialang. Seattle
Siegfried Nijssen @snijssen.bsky.social Professor in Artificial Intelligence at KU Leuven and UCLouvain, Belgium.
Johannes Fürnkranz @juffi-jku.bsky.social Researcher Machine Learning & Data Mining, Prof. Computational Data Analytics @jkulinz.bsky.social, Austria.
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Mathias Niepert @mniepert.bsky.social Professor @ University of Stuttgart, Scientific Advisor @ NEC Labs, GraphML, geometric deep learning, ML for Science and Simulations. Formerly @IUBloomington and @uwcse
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
Duygu Islakoğlu @duyguislakoglu.bsky.social the youngest boomer • language models ∩ knowledge graphs • phd cand @UtrechtUniversity• msc in artificial intelligence @KULeuven
https://duyguislakoglu.github.io
Tomer Ullman @tomerullman.bsky.social Associate Professor, Department of Psychology, Harvard University. Computation, cognition, development.
Paolo Morettin @paolomorettin.bsky.social Game Dev student / Former AI researcher.
https://paolomorettin.github.io/
Leilani @lgilpin.bsky.social Assistant prof at UCSC in CSE. Likes coffee, carbs, calendaring, and (cons …). She/her. Views my own. https://people.ucsc.edu/~lgilpin/
Stefano Teso @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 .
Samy Badreddine @sbadredd.bsky.social Research Scientist @ Sony AI, PhD Student @ UniTrento,FBK
Neurosymbolic AI, Generative Modeling
https://sbadredd.github.io/
Madelon Hulsebos @madelonhulsebos.bsky.social AI researcher at CWI & ELLIS Amsterdam https://trl-lab.github.io. Research on tabular AI to democratize insights from structured data. Prev at UC Berkeley and the University of Amsterdam.
https://www.madelonhulsebos.com