(See full home page here.)

My research interests are in Artificial Intelligence, especially decision-making and reasoning, with the goal iof automatically creating and managing complex software systems. At the technical level, most of my research has been in search and automated reasoning, for solving discrete combinatorial problems. A main problem I have focused on is finding state, action, event or task sequences in very large transition systems. This problem appears as a subproblem when deciding what to do and how to do it, which can be viewed as a planning or a controller synthesis problem. Most of the research challenges are caused by the astronomically high numbers of possible state/event/action/task sequences, and the alternative sequences that have to be considered when we cannot predict the events' and actions' consequence unambiguously.

At the applicative side, I have been developing intelligent software synthesis methods that will enhance and replace existing software development processes, with the goal of making software more intelligent, more flexible, higher quality, and reduce the development cost and effort.