great to see this happening!
21.05.2025 05:26 — 👍 0 🔁 0 💬 0 📌 0
I have 2 PhD positions on program synthesis!
28.03.2025 09:59 — 👍 1 🔁 0 💬 1 📌 0
LinkedIn
This link will take you to a page that’s not on LinkedIn
Sicco Verwer, Annibale Panichella, and I are hiring!
If you are interested in program synthesis and repair, explainable AI, and reducing errors in software, consider applying!
lnkd.in/djir-dsh
20.02.2025 14:45 — 👍 1 🔁 3 💬 0 📌 0
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 2025 in Nara, Japan 🇯🇵.
CfP: https://2025.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.