Maria Paola Bonacina

Curriculum

•   Curriculum vitae - EN   (pdf, en, 279 KB, 26/04/22)
•   Curriculum vitae - IT   (pdf, it, 279 KB, 26/04/22)

Maria Paola Bonacina svolge ricerche sul ragionamento simbolico, una branca dell'intelligenza artificiale dedicata a rendere i computer capaci di ragionamento, non necessariamente imitando forme di intelligenza naturale, ma piuttosto a modo loro. Maria Paola si occupa prevalentemente di ragionamento automatico, dove l'enfasi è sulla capacità della macchina di produrre soluzioni anche senza una frequente interazione con l'utente, e di ragionamento logico-deduttivo, dove la logica è il linguaggio di rappresentazione e la deduzione è il principale meccanismo computazionale. I campi di applicazione del ragionamento automatico includono l'analisi, verifica, e sintesi di sistemi software e hardware, la pianificazione, la comprensione del linguaggio naturale, la matematica al calcolatore, e l'insegnamento dell'informatica e della matematica. Il ragionamento automatico è collegato a parecchi altri campi dell'informatica quali la computazione simbolica e l'apprendimento automatico. I temi di ricerca di Maria Paola Bonacina includono:

• Dimostrazione automatica di teoremi basata su deduzione guidata da conflitti (SGGS), o su strategie basate su ordinamenti (risoluzione e sovrapposizione), o su tableaux;
• Procedure di decisione della soddisfacibilità modulo teorie ed assegnamenti (SMA) basate su deduzione guidata da conflitti (CDSAT), inferenze speculative, o metodi di inferenza generali per la dimostrazione automatica;
• Interpolazione di dimostrazioni per la generazione di invarianti o il raffinamento di astrazioni in model checking;
• Parallelizzazione del ragionamento automatico mediante parallelizzazione della ricerca nello spazio delle inferenze;
• Valutazione ed analisi di strategie per la dimostrazione automatica di teoremi.

Maria Paola pubblica prevalentemente su riviste internazionali che coprono il ragionamento automatico, la computazione simbolica, l'intelligenza artificiale, e la logica computazionale, quali Journal of Automated Reasoning, ACM Transactions on Computational Logic, Journal of Logic and Computation, Journal of Symbolic Computation, Information and Computation. Maria Paola partecipa regolarmente a conferenze internazionali quali la International Conference on Automated Deduction (CADE), la International Joint Conference on Automated Reasoning (IJCAR), e varie altre conferenze specialmente tra quelle del gruppo della Federated Logic Conference (FLoC).