Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
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 (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 ☀️
IJCAI is the longest-running premier international AI research conference since 1969. 🌍 Connect across domains and feel the pulse of AI. 🗓️ #IJCAI2025 ❗16-22 August 2025❗Montreal 🇨🇦
Software Engineer at Google. ML PhD from DTAI. Alumnus Computer Science KU Leuven.
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Associate professor at Cognitive Robotics | Mechanical Engineering | Delft University of Technology.
Opinions are my own.
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
Research Scientist @ Samsung AI https://corneliocristina.github.io
Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
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
Research Manager, Modelling @wellcometrust.bsky.social | Interested in infectious diseases, strengthening the modelling ecosystem, and finding good cake | Views my own
Research Scientist at Sony AI, working on AI for Scientific Discovery.
Neurosymbolic Learning and Reasoning.
thiviyansingam.com
Computer Scientist @utwente.bsky.social #LogicBasedAI #MultiAgentSystems | Intimate Computing #values #vulnerability https://intimate-computing.net | Disability | Towards a caring and inspiring digital society
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 🇪🇺
Incoming Assist. Prof. @UVA | Faculty fellow @NYU | CS Ph.D @UCLA | Neurosymbolic AI, Probabilistic ML, Constraints, AI4Science | https://zzeng.me/
PhD student @PUT_Poznan | @ghostdayamlc | Program synthesis | Neurosymbolic AI
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Assoc. prof. at Uppsala University, working in programming languages and verification
CS professor at UT Austin, does research in programming languages & formal methods.
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
SAT Solver Hacker, Professor, University of Freiburg
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Sr. Staff Research Scientist @ Google DeepMind • previously Google X, Microsoft Research, UW • program synthesis, AI for Code and SWE • he/him • alexpolozov.com
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Researcher at Microsoft Research, Cambridge
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
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
PhD student @dtai-kuleuven.bsky.social in neurosymbolic AI and concept-based learning
https://daviddebot.github.io/
Assistant Professor at SCAI, ASU
yoojungchoi.github.io
Association for Uncertainty in AI.
Upcoming conference: #uai2026 August 17-21 in Amsterdam, Netherlands! 🇳🇱
https://auai.org/uai2026
Scientist, AI researcher, roboticist, professor emeritus. Coauthor “Artificial Intelligence: Foundations of Computational Agents” http://artint.info 🇨🇦
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
Pahadi 🇮🇳| Assistant Professor at TU Eindhoven 🇳🇱| Causality, Neuro-symbolic AI, Probabilistic Circuits and pretty much all of Machine Learning ;)
Assistant prof at TU Graz, formerly assistant prof at TU Eindhoven, Marie-Curie Fellow at University of Cambridge. Probabilistic Machine Learning.
Professor of CS working in Statistical Relational AI, neurosymbolic AI, graphical models, sequential decision making and healthcare.
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)
Machine Learning Professor
https://cims.nyu.edu/~andrewgw
Associate Professor of Natural Language Processing & Explainable AI, University of Amsterdam, ILLC
PostDoc Researcher. PhD in Computer Science @uniud. #NeuroSymbolicAI, #Data #science, and #AI applied to indoor #positioning and #healthcare.
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
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
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/
Lead dev of SciML org, VP of Modeling and Simulation @JuliaHub, Director of Scientific Research @PumasAI, and Research Staff
@mit_csail. #julialang #sciml
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 is a high-level, dynamic programming language built for technical computing.
Official Bluesky account of the Julia Language Project
#JuliaLang
postdoc @ ai lab, Vrije Universiteit Brussel
working on providing reliable and verifiable ai mechanisms
#RL & formal methods
delgrange.me
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
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
A post-doc researcher at DTAI, KU Leuven. I focus on neurosymbolic AI.
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
PhD researcher @ KU Leuven, member of LEMUR MSCA doctoral network
NeuroSymbolic AI + LLM
Researcher, machine learning with knowledge graphs
Assistant professor at Vrije Universiteit amsterdam
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
Professor @ KU Leuven researching AI, machine learning, and sports. Co founder of runeasi
PhD Student in Neurosymbolic AI @ DTAI Lab, KU Leuven
Declarative Languages and Artificial Intelligence research group at the KU Leuven Computer Science department.
https://dtai.cs.kuleuven.be
PhD Student at the University of Amsterdam | Neurosymbolic AI.
https://erkankarabulut.github.io/
PhD student at the University of Amsterdam
Advised by Max Welling and Jan-Willem van de Meent
Deep learner at FAIR. Into codegen, RL, equivariance, generative models. Spent time at Qualcomm, Scyfer (acquired), UvA, Deepmind, OpenAI.
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
Mathematician / AI Researcher @ITUkbh
Thinking about AI x Self-organisation, Open-endedness & Collective Intelligence.
Looking for sustainable & porous ways to inhabit Earth
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
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.
Researcher of Knowledge Representation and Reasoning, passionate about logic. Mexican living in Austria raisings three wonderfully multicultural, multilingual kids 🇲🇽🇱🇹🇦🇹🇸🇪🇪🇸
Slava Ukraini 🇺🇦
Assistant Professor in Artificial Intelligence
KU Leuven
Belgium
Postdoctoral researcher @ KU Leuven
NeuroSymbolic AI & Knowledge Compilation
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.
#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"
Strengthening Europe's Leadership in AI through Research Excellence | ellis.eu
Asst. Prof @IITKgp CSE | KR&R and DL | Ex-Visiting Prof @UKPLab, Postdoc @IndiaMSR, PhD @ASU, Masters @IIScCSA
I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
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.
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
Working on Probabilistic Programming Languages
https://web.cs.ucla.edu/~poorvagarg/
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
Doing Bayesian stuff in #rustlang and #julialang. Seattle
Professor in Artificial Intelligence at KU Leuven and UCLouvain, Belgium.
Researcher Machine Learning & Data Mining, Prof. Computational Data Analytics @jkulinz.bsky.social, Austria.
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Professor @ University of Stuttgart, Scientific Advisor @ NEC Labs, GraphML, geometric deep learning, ML for Science and Simulations. Formerly @IUBloomington and @uwcse
I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
the youngest boomer • language models ∩ knowledge graphs • phd cand @UtrechtUniversity• msc in artificial intelligence @KULeuven
https://duyguislakoglu.github.io
Associate Professor, Department of Psychology, Harvard University. Computation, cognition, development.
Probabilistic + logical + algebraic reasoning/learning
Assistant prof. @ University of Trento, Marie Skłodowska-Curie fellow
https://paolomorettin.github.io/
Assistant prof at UCSC in CSE. Likes coffee, carbs, calendaring, and (cons …). She/her. Views my own. https://people.ucsc.edu/~lgilpin/
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 .
Research Scientist @ Sony AI, PhD Student @ UniTrento,FBK
Neurosymbolic AI, Generative Modeling
https://sbadredd.github.io/
CS 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
