- Carla Limongelli - CV -
- Position -
Carla Limongelli is Associate Professor at "Roma Tre" University (Department of Computer Science and Automation: DIA).
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
- 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].
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.