Tag: Amazon research award


Maria Paola Bonacina vince l’Amazon Research Award

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...


Amazon research award: un’idea vincente per risorse online più sicure

Fondi e risorse del valore di 40 mila dollari più benefit per supportare la ricerca di istituzioni accademiche e organizzazioni senza scopo di lucro in aree che si allineano con la missione promossa dall’Amazon research award (Ara). In questo ambito rientra l’idea di Roberto Giacobazzi, prorettore di ateneo e docente del dipartimento di Informatica, e Francesco Ranzato dell’università di Padova. Il progetto è stato premiato...

Leggi tutto...