Luigia Carlucci Aiello
From Wikipedia, the free encyclopedia
Luigia (Gigina) Carlucci Aiello (also published as Luigia Carlucci and Luigia Aiello, born 1946[1] in Cerreto d'Esi) is an Italian computer scientist, emeritus professor of artificial intelligence at Sapienza University of Rome.[2]
Aiello received a classical high school diploma in Fabriano.[3] After earning a 'laurea' in applied mathematics from the University of Pisa and a diploma from the Scuola Normale Superiore di Pisa in 1968, in 1970 she became a researcher for the National Research Council (CNR) in Pisa. In that period she went twice on sabbatical leave to work with John McCarthy at Stanford University[2]: the first time in 1973-74 with her husband, computer scientist Mario Aiello; after his death in 1976, she returned to Stanford in 1979-80.[3] She is the mother of computer scientist Marco Aiello.
She became a professor in 1981,[2] initially at Marche Polytechnic University,[3] and joined Sapienza University of Rome in 1982, becoming professor of artificial intelligence in 1991.[2]
She founded the Italian Association for Artificial Intelligence, AI*IA, in 1988, and was its first president.[3] She was also the president of the Association for Logic, Language and Information (FoLLI) from 2004 to 2007.[2]
Research
Aiello's earliest research involved pattern recognition,[3] and her work in the 1970s and early 1980s concerned automated theorem proving and proof assistants.[2] Through this, she became interested in programming language semantics and the application of automated theorem proving to program correctness.[3] Later, her interests shifted to include knowledge representation and reasoning, meta-knowledge, and default logic, as well as applications in educational technology, robotics, and computer security.[2]
