Experience
Education
Bio
His research interests include:
Artificial Intelligence; formal aspects for the strategic reasoning in Multi-Agent Systems under perfect and impferfect information; specification, verification, and synthesis of reactive systems; formal languages, automata theory, real-time systems, pushdown systems, hierarchical systems, temporal logics, mu-calculus, model checking, module checking, synthesis, game theory, parity games, logics for the strategic reasoning.