Sebastijan Dumančić
Assistant Professor In AI at Technische Universiteit Delft
Leidschendam, South Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolSebastijan Dumančić is an Assistant Professor in AI at Delft University of Technology with a decade of experience spanning program synthesis, probabilistic programming, and statistical relational AI. He holds a PhD in Machine Learning and AI from KU Leuven and progressed from industry internships to postdoctoral research at FWO before transitioning to an academic faculty role. His work blends theory and systems, focusing on program induction and StarAI methods that bridge symbolic reasoning and probabilistic models. Having collaborated with NEC Laboratories and contributed to practical ML projects since early internships, he brings both applied engineering instincts and rigorous research depth. Based in the Netherlands, he is known for pursuing cross-disciplinary approaches that make probabilistic programming techniques more usable in real-world synthesis problems.
10 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Machine learning and Artificial Intelligence, Doctor of Philosophy (Ph.D.), Machine learning and Artificial Intelligence at KU LeuvenMaster of Science (M.Sc.), Computer Science, Master of Science (M.Sc.), Computer Science at FER
Github Skills (48)
tla9
datalog9
crossword9
logic-programming9
probabilistic9
prolog9
planning8
nlp8
synthesis8
probabilistic-reasoning8
tlaplus8
toolbox8
clp7
laravel7
machine-learning7
Programming languages (7)
Github contributions (5)
sebdumancic/loreleai
Oct 2019 - Mar 2021
A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
Contributions:1 review, 95 commits, 1 PR in 1 year 4 months
staraicrosswordprobabilistic-reasoningtoolboxilp
sebdumancic/CURLED
Dec 2015 - Sep 2017
Contributions:289 commits, 2 branches, 4 issues in 1 year 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.