Univrmagazine
giovedì, 2 Ottobre 2025
verona
  • Attualità

    WelcomeDay Univr accoglie le matricole

    La squadra di governo della Rettrice Chiara Leardini

    Un progetto condiviso per Univerona 2025-2031

    Photo credits: Leila.Gh - Adobe Stock

    Il “Suicidio di Israele”, incontro con Anna Foa

    Photo Credits: Faziljan - Adobe Stock

    Matteo Pivato si aggiudica il premio Franca Rasi Caldogno

  • Ricerca
    Photo credits: tonefotografia - Adobe Stock

    Università di Verona protagonista della Biotech Week 2025

    Photo Credits: Fitriyani - Adobe Stock

    “Perfetto Match-Up”, ricerca e impresa unite per le Scienze della vita

    Verona protagonista all’EduNext Welcome Day 2025 con due corsi di laurea innovativi

    A Verona la Notte della Ricerca varca i confini del carcere

  • Dai dipartimenti
    Giuliano Bergamaschi con Fefè De Giorgi

    Un po’ di Univr nel mondiale di pallavolo maschile

    Photo credits: @davstudio - Adobe Stock

    La poesia come vocazione, Federica Barboni vince la fellowship dedicata a Praloran

    Photo Credits: Faziljan - Adobe Stock

    Matteo Pivato si aggiudica il premio Franca Rasi Caldogno

    Antonio Granese riceve il Premio Vaona 2025

  • Verona città universitaria
    Atelier dell'Errore per la Ventunesima Giornata del Contemporaneo, Unknown Pleasures - The Shelter, 2025

    Il Museo del Contemporaneo Univr propone il laboratorio “Anime animali”

    Il “Mahābhārata” arriva a Verona

    Photo credits: Associazione Aga

    Il Tocatì raccontato dalla Redazione di Univrmagazine

    La mappa che invita a perdersi: Veronetta si svela al Tocatì

  • Redazione
    • Opinioni
No Result
View All Result
Univrmagazine
  • Attualità

    WelcomeDay Univr accoglie le matricole

    La squadra di governo della Rettrice Chiara Leardini

    Un progetto condiviso per Univerona 2025-2031

    Photo credits: Leila.Gh - Adobe Stock

    Il “Suicidio di Israele”, incontro con Anna Foa

    Photo Credits: Faziljan - Adobe Stock

    Matteo Pivato si aggiudica il premio Franca Rasi Caldogno

  • Ricerca
    Photo credits: tonefotografia - Adobe Stock

    Università di Verona protagonista della Biotech Week 2025

    Photo Credits: Fitriyani - Adobe Stock

    “Perfetto Match-Up”, ricerca e impresa unite per le Scienze della vita

    Verona protagonista all’EduNext Welcome Day 2025 con due corsi di laurea innovativi

    A Verona la Notte della Ricerca varca i confini del carcere

  • Dai dipartimenti
    Giuliano Bergamaschi con Fefè De Giorgi

    Un po’ di Univr nel mondiale di pallavolo maschile

    Photo credits: @davstudio - Adobe Stock

    La poesia come vocazione, Federica Barboni vince la fellowship dedicata a Praloran

    Photo Credits: Faziljan - Adobe Stock

    Matteo Pivato si aggiudica il premio Franca Rasi Caldogno

    Antonio Granese riceve il Premio Vaona 2025

  • Verona città universitaria
    Atelier dell'Errore per la Ventunesima Giornata del Contemporaneo, Unknown Pleasures - The Shelter, 2025

    Il Museo del Contemporaneo Univr propone il laboratorio “Anime animali”

    Il “Mahābhārata” arriva a Verona

    Photo credits: Associazione Aga

    Il Tocatì raccontato dalla Redazione di Univrmagazine

    La mappa che invita a perdersi: Veronetta si svela al Tocatì

  • Redazione
    • Opinioni
No Result
View All Result
Univrmagazine
No Result
View All Result

Maria Paola Bonacina vince l’Amazon Research Award

La docente di informatica premiata per un progetto sul ragionamento automatico

di Roberta Dini
26 Aprile 2023
in Senza categoria
Maria Paola Bonacina

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 International. Una caratteristica chiave di Cdsat è che esegue inferenze complesse e, quindi, costose in termini di risorse, solo per risolvere conflitti tra le formule da soddisfare e il modello candidato, cioè la soluzione che la procedura sta incrementalmente costruendo. Il progetto finanziato dall’Amazon Research Award estende questo nuovo metodo a teorie che condividono simboli e a problemi con quantificatori, due sfide affascinanti e di grande impatto sulle applicazioni.

“Da alcuni anni Amazon ha riconosciuto l’importanza strategica del ragionamento automatico e vi sta investendo in modo massiccio, assumendo esperti e finanziando progetti – commenta la docente -. Questo premio è uno splendido risultato perché porta qui a Verona le risorse di Amazon, permettendo di avanzare le ricerche in ragionamento automatico”.

“Quando oggi si parla di intelligenza artificiale – aggiunge la docente – si fa per lo più riferimento a metodi basati sull’apprendimento automatico (“machine learning”) che, in realtà, è soltanto una sotto-area dell’intelligenza artificiale. Nell’apprendimento automatico il computer esibisce un comportamento intelligente grazie alla capacità di imparare da grandi quantità di dati su base statistica. Nel ragionamento automatico il computer riesce a mostrare intelligenza grazie alla capacità di ragionare in modo logico a partire da una rappresentazione simbolica della conoscenza. Avremo davvero l’intelligenza artificiale quando queste due capacità saranno entrambe sviluppate ed integrate.”

L’obiettivo dell’Amazon Research Award, fondato nel 2015, e fuso con il Machine Learning Research Award (Mlra) nel 2020, è quello di collaborare con ricercatori e ricercatrici al fine di finanziare la ricerca, condividere le conoscenze e incoraggiare l’innovazione. Fin dalla sua istituzione, l’Ara finanzia con fondi senza restrizioni d’uso proposte di ricerca in una varietà di aree di studi rilevanti per Amazon come robotica, apprendimento automatico, sicurezza, sostenibilità e altro ancora. Ara e Mlra hanno erogato più di 400 premi di ricerca a 150 università di 28 Paesi del mondo, tra cui, quest’anno, anche l’università degli Studi di Verona.

 

 

© Dilok – stock.adobe.com

Articolo precedente

Maurizio Tira nel board della European University Association

Articolo successivo

Farmacia, presentato il nuovo corso di laurea Magistrale a ciclo unico

Ti potrebbe piacere anche

Attualità

WelcomeDay Univr accoglie le matricole

di Letizia Bertotto
2 Ottobre 2025
Photo credits: @davstudio - Adobe Stock
Dai dipartimenti

La poesia come vocazione, Federica Barboni vince la fellowship dedicata a Praloran

di Letizia Bertotto
29 Settembre 2025
Ricerca e innovazione

A Verona la Notte della Ricerca varca i confini del carcere

di Letizia Bertotto
25 Settembre 2025
Photo credits: Associazione Aga
Verona città universitaria

Il Tocatì raccontato dalla Redazione di Univrmagazine

di Michele D'Andretta
24 Settembre 2025
Verona città universitaria

La mappa che invita a perdersi: Veronetta si svela al Tocatì

di Letizia Bertotto
24 Settembre 2025

Ultimi articoli

Attualità

WelcomeDay Univr accoglie le matricole

2 Ottobre 2025
La squadra di governo della Rettrice Chiara Leardini
Attualità

Un progetto condiviso per Univerona 2025-2031

1 Ottobre 2025
Atelier dell'Errore per la Ventunesima Giornata del Contemporaneo, Unknown Pleasures - The Shelter, 2025
Verona città universitaria

Il Museo del Contemporaneo Univr propone il laboratorio “Anime animali”

1 Ottobre 2025
Photo credits: tonefotografia - Adobe Stock
Ricerca e innovazione

Università di Verona protagonista della Biotech Week 2025

30 Settembre 2025
Photo credits: Leila.Gh - Adobe Stock
Attualità

Il “Suicidio di Israele”, incontro con Anna Foa

30 Settembre 2025
Giuliano Bergamaschi con Fefè De Giorgi
Dai dipartimenti

Un po’ di Univr nel mondiale di pallavolo maschile

30 Settembre 2025
Photo credits: @davstudio - Adobe Stock
Dai dipartimenti

La poesia come vocazione, Federica Barboni vince la fellowship dedicata a Praloran

29 Settembre 2025
Photo Credits: Faziljan - Adobe Stock
Attualità

Matteo Pivato si aggiudica il premio Franca Rasi Caldogno

29 Settembre 2025
Univrmagazine

il giornale dell’Università degli Studi di Verona

Direttrice editoriale: Nicoletta Zerman
Direttrice responsabile: Tiziana Cavallo

Registrazione presso il Tribunale di Verona
Numero di registrazione testata N.1820 del 18.11.2008

Copyright © 2024
Università degli Studi di Verona - Area Comunicazione e Public Engagement (Direzione Informatica, Tecnologie e Comunicazione)

Iscriviti alla newsletter

Inviami una mail per confermare l’iscrizione al servizio di newsletter e così esprimere il mio consenso al trattamento dei dati personali

Controlla la tua casella di posta o la cartella spam per confermare la tua iscrizione

  • Privacy Policy
  • Cookie Policy
Utilizziamo i cookie sul nostro sito Web per offrirti l'esperienza più pertinente ricordando le tue preferenze e ripetendo le visite. Facendo clic su "Accetta tutto", acconsenti all'uso di TUTTI i cookie. Tuttavia, puoi visitare "Impostazioni cookie" per fornire un consenso controllato.
Preferenze cookieAccetta tutti
Manage consent

Informativa breve cookies

Il Titolare utilizza i cookie per ottimizzare la fruizione del sito e per velocizzare le esperienze ed attività degli utenti. Il sito consente anche l’invio di cookie di “terze parti” per compilare statistiche anonime aggregate.
Necessari
Sempre abilitato
I cookie necessari per l’utilizzo del sito Web sono essenziali per il funzionamento del sito web, bloccarli non ne permette il funzionamento. Questa categoria include cookie che consentono di facilitare la navigazione e il servizio reso all’utente. Per la loro installazione non è necessario il tuo consenso.
CookieDurataDescrizione
cookielawinfo-checkbox-analytics11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional11 monthsThe cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy11 monthsThe cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.
Non necessari
Cookie Analitici di Terze Parti I cookie statistici aiutano il titolare a capire come i visitatori interagiscono con il sito, trasmettendo informazioni in forma anonima. Alcuni di questi cookie sono gestiti per noi da terzi (Google Analytics, Matomo) sempre in forma anonima e non consentiamo loro di utilizzarli per altre finalità.
ACCETTA E SALVA
Powered by CookieYes Logo
No Result
View All Result
  • Attualità
  • Ricerca e innovazione
  • Dai dipartimenti
  • Verona città universitaria
  • Redazione