- Carla Limongelli - CV -

- Position -

Carla Limongelli is Associate Professor at "Roma Tre" University (Department of Computer Science and Automation: DIA).

- Study -

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).

- Research activity -

**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].

- Teaching activity -

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.