My research area is Artificial Intelligence with a focus on large-scale constraint-based reasoning and optimization. I exploit connections between different research areas --- in particular artificial intelligence, operations research, and the theory of algorithms. Central themes of my research a...
My research area is Artificial Intelligence with a focus on large-scale constraint-based reasoning and optimization. I exploit connections between different research areas --- in particular artificial intelligence, operations research, and the theory of algorithms. Central themes of my research are: (1) the synthesis of formal and experimental research for understanding and exploiting problem structure, (2) the integration of concepts from constraint reasoning and mathematical programming, and (3) the use of randomization techniques to scale up the performance of complete (exact) search methods . I combine formal analysis with the study of applications such as planning, scheduling, combinatorial design, and multi-agent systems. Recently, I have become deeply immersed in the establishment of new field of Computational Sustainability.