Prof. Carmel Domshlak, joined the Faculty in 2003 He received his Ph.D. in Computer Science from Ben-Gurion University in 2002. During 2002–2004 he was a Research Associate in the Computer Science Department at Cornell University.
Prof. Domshlak research interests are in computational and modeling problems that are fundamental to intelligent autonomous behavior, with an emphasis on interesting structure/complexity connections that can be found in diﬀerent tasks of automated reasoning such as sequential decision-making and action planning, multi-agent system design, preferential reasoning, and probabilistic inference. In the last few years, a very substantial part of my work has been devoted to the problems of goal-driven action planning in concisely speciﬁed transition systems as well as to Monte-Carlo algorithms for online sequential decision making.
From 2017 to 2021, Prof Domshlak served as the Faculty's Dean.