Sebastijan Dumancic

Alperen Guncan joins us as an MSc student. Alperen will be working on discovering generalised conflicts in program synthesis.

Ivo Yordanov joins us as an MSc student. Ivo will be working on a joint project with ASML and my previous PhD student Kshitij Goyal.

Ole Poeth defended his MSc thesis on generalising conflict analysis for program synthesis.

Danila Bren joins us as a MSc student. Danila will be working on using motifs to discover biological qualitative networks.

Sebastien van Tiggele defended his MSc thesis on analysing Kappa programs through program synthesis.

Matteo Bertorotta defended his MSc thesis on program synthesis and e-graphs.

Hidde Leistra joins us as a MSc student. Hidde will be working on drone design with program synthesis.

Stef Rasing joins us again, this time as a MSc student. Stef will be working on learning within a single synthesis problem.

Dekel Zak joins us as a PhD student. Dekel will be working on program repair in cybersecurity with Sicco Verwer and me.

Pallabi Sree Sarker defended her MSc thesis on discovering macro-actions in planning.

Mara Coman defended her MSc thesis on constructing proposals with constraint solvers in probabilistic programming.

Richard Wijers defended his MSc thesis on discovering chemical reaction networks with program synthesis.

Claire Kulkhin defended her MSc thesis on discovering medical guidelines with ILP.

I’ve joined the Scientific Comittee of the Symbolic Computation and Machine Learning Initiative

I’m visiting the Amsterdam Machine Learning Lab

I am attending NWO Life where I’m giving a talk about our efforts to autonomously discovery mechanistic models

Reuben, Richard, and I are attending AI4Bio symposium

I have (finally) obtained University Teaching Qualification.

I am giving a talk in the KAS lab of Carlos Hernández Corbato

Claire Kuhlkin joins us as a MSc student (co-supervised by Annette ten Teije and Frank van Harmelen). Claire will be working on improving medical guidelines from data through Inductive Logic Programming.

Rutger Klaassen joins us as a MSc students. Rutger will be working on combining symbolic program synthesis with LLMs and robotics.

Ole Poeth joins us as a MSc student. Ole will be working on interactive constraint acquisition in program synthesis.

Sebastian Mežnar is visiting us for 3 weeks.

I am giving a talk at Sebastian Musslick’s Autonomous Empricial Research group

I am visiting Bordeaux (virtually) for Théo Matricon’s PhD defense, as a jury member.

Our Find2Fix project has been accepted. I will be hiring a PhD student to work on the intersection of program syntehsis and cyber security.

Matteo Bertorotta joins us as a MSc student (co-supervised with Andreea Costea). Matteo will be making program synthesis more efficient through e-graphs.

Sebastien van Tiggele joins us as a MSc student (co-supervised with Walter Fontana and Jérôme Feret). Sebastien will be exploring how program synthesis can be used to automatically construct Kappa models.

Richard Wijers joins us as a MSc student (co-supervised with Jana Weber). Richard will be exploring how program synthesis can be used to automatically construct chemical reaction networks.

I have finally joined ELLIS! I am also a part of the Delft Unit.

I am attending a AAAI Fall Symposium on Computational Scientific Discovery.

I am visiting Walter Fontana’s lab at Harvard School of Medicine

Our project A Layered, Explainable Approach to Intelligent Greenhouse Horticulture has been awarded by NWO. I will be hiring one PhD student next year.

I’m attending Aachen Symposium on Representation Learning to Act and Plan.

Luka Janjić defended his MSc thesis on program synthesis with dependent types.

Tan Zhi-Xuan is visiting us today. We are excited to learn more about her work on probabilistic programming and model-based planning.

I’m participating in the IAS Amsterdam workshop on Logic and AI

Bart Swinkels graduated with an excellent MSc thesis on Constraint Propagation in Program Synthesis. Bart’s thesis set the foundations for our Herb library.

I’m giving a lecture on machine learning with provable guarantees at the SIKS course on Neuro-symbolic AI

I’m attending the European AI for Fundamental Physics Conference 2024

Mara joins us as an MSc student. Mara will be working on automatically constructing better proposals in probabilistic programming with constraint solvers.

Lorenzo joins us as a PhD student. Lorenzo will be working with Fernando Kuipers and me on program synthesis for programmable networks, as a part of the Future Network Services project

Stef joins us again as a research assistant helping us to get Herb in a good shape

Han joins us as an MSc student. Han will be working with Frans Oliehoek and me on probabilistic programming and MDPs.

Jord Molhoek defended his master thesis Reasoning about MDPs Abstractly – Bayesian Policy Search with Uncertain Prior Knowledge, exploring how uncertain prior knowledge can be leveraged in MDPs with probabilistic programming

I’m visiting Nathanaël Fijalkow’s group at CNRS in Bordeaux

I’m giving a talk on the need for a neuro-symbolic languages at the Probabilistic Learning and Reasoning mini-symposium, co-located with Emile Van Krieken’s PhD defence. I am also one of Emile’s examiners.

Avi joins us as an MSc student. Avi will be working on improving reasoning in large langauge models with probabilistic programming and theorem provers.

Liang joins my group as a postdoc. He will be working on probabilistic programming for coupled physics simulators.

I am acting as a co-chair for the Special Track on Reasoning, Learning, and Decision-Making at KR 2024 together with Jean Christoph Jung and Iran Mansouri