new-engl-curr.html

1987 she has got the diploma in Mathematics and 1992 she has got the Ph.D. in Computer Science, both from the University of Rome "La Sapienza". In 1993 and 1994 she has had a Post-Doc. fellowship. During the Ph.D. and Post-Doc. periods, i.e. from March to October 1992 and from July 1993 to May 1994, she has been a visiting scientist at RISC-Linz, Austria (Research Institute of Symbolic Computation). From the end of 1994 she has been researcher at "Roma Tre" University (DIA).

Exact arithmetics: truncated p-adic arithmetic as a ground tool for algebraic computations [MI1].
Parallel algebraic algorithms: parallelization of p-adic arithmetic and the related applications to computations have been presented in [MI3, RI5, CI8, RI4, CI6, RI3, CI1].
Design methodologies for symbolic computation systems: the methodological approach for the integration of symbolic and numeric computation based on data abstraction techniques [MI2, CI10, CI9, CI7, CI5, RI1, CI2].
Artificial intelligence planning techniques , Linear temporal logic: A planner fully based on Linear Temporal Logic has been developed [WS1, CI11]. The planning problem is translated into a set of LTL formulas so that a plan corresponds to a model of the initial formulas. The advantage of this logic is the simple model of time that allows for a natural representation of the world that evolves during this time. Also the possibility of designing conditional planners always based on this approach, has been proposed in [CI12]. A language that allows control knowledge has been defined: LPK. Its semantics is the one of LTL; it allows for an easy definition of LTL rules that cut the search space [RI6]. Due to the heavy computational complexity of satisfiability problems, a parallelization of the algorithm that performs the model search has been proposed in [CI13] and the results are promising, since the parallelization gains a super-linear speedup. Planning techniques have also been recently applied to the field of Open and Distance Learning [CI14].

A continuous teaching activity has started as teaching assistant for courses of Fundamentals of Computer Science, Functional Programming [LI1] and Artificial Intelligence. She has taught and teaches various courses of Fundamentals of Computer Science for mechanical engineers and for Computer Science and a course on Algorithms and Data Structures.