Sebastijan Dumancic
Assistant Professor at TU Delft, working on program synthesis, probabilistic programming, and neuro-symbolic AI.
https://sebdumancic.github.io/
@azaidman.bsky.social
Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
@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.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 2025 in Nara, Japan 🇯🇵. CfP: https://2025.rage-kg.org Connect and share on Bluesky ☀️
@ijcai.org
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 🇨🇦
@joschout.bsky.social
Software Engineer at Google. ML PhD from DTAI. Alumnus Computer Science KU Leuven.
@larrytheliquid.bsky.social
Formal Methods / Programming Language Theory / Neuro-Symbolic AI ... now working on colimit.io / @colimit.bsky.social
@chcorbato.bsky.social
Associate professor at Cognitive Robotics | Mechanical Engineering | Delft University of Technology. Opinions are my own.
@carlbergstrom.com
UW biology prof. 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 I don't like fascists. he/him
@corneliocristina.bsky.social
Research Scientist @ Samsung AI https://corneliocristina.github.io Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
@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
@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
@thiviyan.bsky.social
Research Scientist at Sony AI, working on AI for Scientific Discovery. Neurosymbolic Learning and Reasoning. thiviyansingam.com
@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
@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 🇪🇺
@zzhe.bsky.social
Incoming Assist. Prof. @UVA | Faculty fellow @NYU | CS Ph.D @UCLA | Neurosymbolic AI, Probabilistic ML, Constraints, AI4Science | https://zzeng.me/
@piotrwyrwinski.bsky.social
PhD student @PUT_Poznan | @ghostdayamlc | Program synthesis | Neurosymbolic AI
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@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
@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
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@programsynthesis.bsky.social
Assistant 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
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@daviddebot.bsky.social
PhD student @dtai-kuleuven.bsky.social in neurosymbolic AI and concept-based learning https://daviddebot.github.io/
@auai.org
Association for Uncertainty in AI. Upcoming conference: #uai2025 July 21-25th in Rio de Janeiro, Brazil 🇧🇷 ! https://auai.org/uai2025
@alanmackworth.bsky.social
Scientist, AI researcher, roboticist, professor emeritus. Coauthor “Artificial Intelligence: Foundations of Computational Agents” http://artint.info 🇨🇦
@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
@devendradhami.bsky.social
Pahadi 🇮🇳| Assistant Professor at TU Eindhoven | Causality, Neuro-symbolic AI, Probabilistic Circuits and pretty much all of Machine Learning ;)
@ropeharz.bsky.social
Assistant prof at TU Graz, formerly assistant prof at TU Eindhoven, Marie-Curie Fellow at University of Cambridge. Probabilistic Machine Learning.
@nsriraam.bsky.social
Professor of CS working in Statistical Relational AI, neurosymbolic AI, graphical models, sequential decision making and healthcare.
@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)
@andrewgwils.bsky.social
Machine Learning Professor https://cims.nyu.edu/~andrewgw
@wzuidema.bsky.social
Associate Professor of Natural Language Processing & Explainable AI, University of Amsterdam, ILLC
@nicosacco.bsky.social
PostDoc Researcher. PhD in Computer Science @uniud. #NeuroSymbolicAI, #Data #science, and #AI applied to indoor #positioning and #healthcare.
@lowd.bsky.social
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
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@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/
@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
@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