Maria Paola Bonacina

Curriculum

•   Curriculum vitae - EN   (pdf, en, 276 KB, 08/04/25)
•   Curriculum vitae - IT   (pdf, it, 276 KB, 08/04/25)

Maria Paola Bonacina svolge ricerche sul ragionamento simbolico, un'area 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 e protocolli 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:

• Procedure di decisione della soddisfacibilità modulo teorie ed assegnamenti (SMT ed SMA) basate su ricerca di modelli e deduzione guidata da conflitti (CDSAT), inferenze speculative (CDCL(Gamma+T)), o metodi di inferenza generali per la dimostrazione automatica (sovrapposizione);
• Dimostrazione automatica di teoremi basata su deduzione guidata da conflitti (SGGS), o su strategie basate su ordinamenti (sovrapposizione);
• 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 presenta regolarmente articoli o partecipa al comitato di programma di conferenze internazionali quali la International Conference on Automated Deduction (CADE), la International Joint Conference on Automated Reasoning (IJCAR), e altre ancora specialmente tra quelle del gruppo della Federated Logic Conference (FLoC).

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

• Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
• Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

• Eventi
• Insegnamenti