Emir Demirović

Dr. Emir Demirović is an Assistant Professor in the Department of Computer Science at Delft University of Technology (TU Delft), The Netherlands. He leads the Constraint Solving ("ConSol") research group and co-directs the Explainable AI in Transportation Lab ("XAIT") as part of Delft AI Labs.

• Prior roles: Postdoc at University of Melbourne (2017-2020), PhD at Vienna University of Technology (2017)
• Collaborations: Civil Engineering, QuTech, and industry partners
• Funding sources: Dutch national funding agency, TU Delft, VoestAlpine

Research Focus:

• Constraint programming and combinatorial optimisation
• Explainable AI methods for decision-making systems
• Integration of optimisation with machine learning
• Robust/resilient optimisation for industrial applications
• Optimal decision trees with dynamic programming
• Quantum computing scheduling techniques

Scientific Contributions:

• Pioneered "Pseudo-Boolean Reasoning" for algorithm certification
• Developed "Blossom" algorithm for optimal decision trees
• Advances in "Predict+Optimise" frameworks
• Created Pumpkin constraint programming solver
• Bridge between SAT/CP and Machine Learning

Awards:

• First Place, MaxSAT Evaluation 2018+
• First Place, ROADEF/EURO 2012
• Adoption of methods in Google OR-Tools

Collaborations:

• Research visits to EPFL, ANITI/CNRS, CUHK, Monash University, TU Wien
• Participated in Dagstuhl seminars, Lorentz workshops, and Simons-Berkeley programme