title: Luigia Carlucci Aiello
text: # Luigia Carlucci Aiello
  
  Luigia (Gigina) Carlucci Aiello (also published as Luigia Carlucci, born 1946) is an Italian computer scientist, emeritus professor of artificial intelligence at Sapienza University of Rome.
  
  ## Education and career
  
  Aiello is originally from Fabriano. After earning a diploma from the Scuola Normale Superiore di Pisa in 1968, Aiello became a researcher for the National Research Council (CNR), in Pisa, also working in the 1970s with John McCarthy at Stanford University, following the death of her husband, computer scientist Mario Aiello, in 1976.
  
  She became a professor in 1981, initially at Marche Polytechnic University, and joined Sapienza University of Rome in 1982, becoming professor of artificial intelligence in 1991.
  
  She founded the Italian Association for Artificial Intelligence, AI*IA, in 1988, and was its first president. She was also the president of the Association for Logic, Language and Information (FoLLI) from 2004 to 2007.
  
  ## Research
  
  Aiello's earliest research involved pattern recognition, and her work in the 1970s and early 1980s concerned automated theorem proving and proof assistants. Through this, she became interested in programming language semantics and the application of automated theorem proving to program correctness. 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.
  
  ## Recognition
  
  Aiello was named a Fellow of the Association for the Advancement of Artificial Intelligence in 1995, "for contributions to the field of meta-level control and reasoning, and promotion of AI in Italy and Europe". She became a Fellow of the European Coordinating Committee for Artificial Intelligence (now the European Association for Artificial Intelligence, EurAI) in 1999, and a member of the European Academy of Sciences and Arts in 2015.
  
  In 2002, Linköping University gave her an honorary doctorate. She was the 2009 winner of the Donald E. Walker Distinguished Service Award of the International Joint Conference on Artificial Intelligence, and the 2014 winner of the EurAI Distinguished Service Award.
  
  A festschrift in honor of her 60th birthday, Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, was published in 2006.
  
  