Marta Cialdea Mayer is presently Associated Professor at "Università di Roma Tre" (Third University of Rome). Beyond the presently taught courses on Logic for Computer Science and on Functional Programming, she also gave courses on basic Computer Science, Artificial Intelligence, Algorithms and Data Structures.

She graduated in Philosophy, with a curriculum in mathematical logic, at the University of Rome "La Sapienza", and obtained a D.E.A. and a Ph.D. (Nouveau Doctorat) in Computer Science at the University "Paul Sabatier" in Toulouse (France), where she worked on automated deduction for modal logics.

Her main research interests are in automated reasoning and formal methods for knowledge representation in Artificial Intelligence. In particular, she has been concerned with automated methods for abductive reasoning and modal logics, the application of temporal logic as the representation language for planning domains, knowledge representation in intelligent educational systems. The most important theoretical results obtained in such fields are the definition of deduction methods for quantified modal logics, upper bounds for the complexity measure of some modal propositional proof systems, and the logical characterization of the abductive relation. In the field of Artificial Intelligence, she is moreover interested in temporal planning. In this area, she contributed to the definition of a formal framework for timeline-based planning and the implementation of systems for synthesizing and executing temporal plans.

On the applicative side, she has conceived and directed the implementation of the planner Pdk, that has an executable semantics in terms of temporal logic and allows for the specification of heuristic knowledge. More recently, she has directed the implementation of two tableaux based provers for hybrid logic (Pilate and Herod), and worked on the implementation of their successor, Sibyl, a prover based on a provably terminating calculus for hybrid logic with restricted occurrences of the binder. She also conceived and implemented Logitest, a support system for the designer of logical multiple choice questions, whose kernel contains an interesting abduction mechanism.

She participated to international conferences' Program Commitees, she was PC chair of the International Conference on Tableaux and Related Methods (2003), she was a member of the Herbrand Award Committee and a member of the Tableaux Steering Committee.

A list of her publicatons can be found here.

Marta Cialdea's home page.