Professore Ordinario dal 1981. Dal 1982 presso la Universita' di Roma "La Sapienza", Facolta' di Ingegneria. Dal 1991 professore di Intelligenza artificiale. E' stata coordinatrice del Dottorato di Ricerca in Ingegneria Informatica. E' presidente del CCL in Ingegneria Informatica.
Prima del suo arrivo a Roma ha lavorato su deduzione automatica e costruzione di dimostratori interattivi di teoremi, con applicazione alla verifica di proprieta' di programmi. Si veda per esempio: Aiello&Aiello, Proving program correctness in LCF, in LNCS, 59, Springer Verlag, 1974. Aiello, Aiello, Attardi, Prini, Informal Proofs Formally Checked by Machine, in Annales Scientifiques de l'Universite' de Clermont, 13, 1976. Aiello, Aiello, Weyhrauch, PASCAL in LCF: semantics and examples of proof, in TCS, 5, 1977. Aiello, Aiello, Attardi, Prini, PPC (Pisa Proof Checker): A Tool for Experiments in Theory of Proving and Mathematical Theory of Computation, in Fund. Inf., 1, 1977. Aiello, Weyhrauch, Using meta-theoretic reasoning to do algebra, in Procs of CADE, 1980.
Coordinatrice del gruppo di ricerca in Intelligenza Artificiale al DIS, ha condotto ricerche in intelligenza artificiale e applicazioni allo sviluppo di sistemi avanzati. Ha esposto relazioni invitate a ECAI'84, SCAI'91 e ECAI'96. Fondatrice e primo presidente della Associazione Italiana per l'Intelligenza Artificiale. Fellow della AAAI dal 1995. Presidente del comitato di programma di ECAI'90 e KRR'96, trustee di IJCAI, presidente di IJCAI'99. Ha partecipato a progetti della comunita' europea (Alpes, Compulog I e II, MedLar II), e a gruppi di lavoro (LAC). E' stata coordinatrice delle reti di eccellenza Compunet 1 e 2, esperta nel comitato di valutazione per progetti ESPRIT, IMI, MURST, consulente del Ministero degli Interni, membro di comitati scientifici (Enidata, Alenia, IRST-ITC), membro del comitato di valutazione per l'informatica nelle universita' olandesi nel 1996. Ha contratti di ricerca con l'ASI, CNR e MURST.
Full Professor since 1981. From 1982 she is with the University of Roma "La Sapienza", Faculty of Engineering. From 1991 she is professor of Artificial Intelligence. She has been chair of the Doctoral Program in "Ingegneria Informatica", and presently chairs the curriculum in "Ingegneria Informatica".
Before joining the University of Roma she has carried on research on automated deduction and interactive theorem provers with appplication to the verification of program properties. See for instance the publications: Aiello, Aiello, Proving program correctness in LCF, in LNCS, 59, Springer Verlag, 1974. Aiello, Aiello, Attardi, Prini, Informal Proofs Formally Checked by Machine, in Annales Scientifiques de l'Universite' de Clermont, 13, 1976. Aiello, Aiello, Weyhrauch, PASCAL in LCF: semantics and examples of proof, in TCS, 5, 1977. Aiello, Aiello, Attardi, Prini, PPC (Pisa Proof Checker): A Tool for Experiments in Theory of Proving and Mathematical Theory of Computation, in Fund. Inf., 1, 1977. Aiello, Weyhrauch, Using meta-theoretic reasoning to do algebra, in Procs of CADE, 1980.
Leader of the research group in Artificial Intelligence at DIS, the Department of Computer and System Sciences of the University of Rome "La Sapienza", she has carried on research on knowledge representation in AI and its application to the development of advanced systems. She has given invited lectures at ECAI'84, SCAI'91 and ECAI'96. Founder and first president of AI*IA, the Italian Association for Artificial Intelligence, fellow of AAAI sice 1995. Program chair for ECAI'90 and KRR'96, trustee for IJCAI since 1995, conference chair of IJCAI'99. She has participated in ESPRIT projects (Alpes, Compulog I and II, and MedLar II), and working groups (LAC). Past coordinator of Compulog net 1 and 2. Expert in evaluation and review committees for ESPRIT, IMI, MURST, consultant for the Italian Ministry of Interior, she helds research contracts with ASI and CNR.