Maria Paola Bonacina, docente del dipartimento di Informatica dell’ateneo, ha vinto un Amazon Research Award (Ara) nella categoria ragionamento automatico, con un progetto intitolato “Advances in Conflict-Driven Satisfiability Modulo Theories and Assignments”. Bonacina studia diversi problemi nell’area del ragionamento automatico, tra cui quello della soddisfacibilità modulo teorie (Smt). Per questo problema ha introdotto il metodo Cdsat (Conflict-Driven Satisfiability), con Stéphane Graham-Lengrand e Natarajan Shankar dell’Sri...

Leggi tutto...