Univrmagazine
mercoledì, 18 Giugno 2025
verona
  • Attualità
    Da sinistra: Nicola Pasqualicchio, Alessandro Anderloni, Elena Brigo (Panta Rei), Federica Collato (Reverse) e Ivan Salvadori

    Ai confini della libertà

    La band Perfect Pair: da sinistra Franco Zampieri, Suzi Dal Zen, Shibu e David Cameroni

    C’era un ragazzo che come me amava i Beatles

    Da sinistra, Emanuela Maria Altamura, Livia Viganò e Luca Mazzara

    Factanza: l’informazione che crea (in)dipendenza

    Parole nel vento – liberamente tratto da La Buona Novella di Fabrizio De André

  • Ricerca
    Il gruppo di ricerca

    Ridefinito il Cut-Off dell’Indice di massa corporea per gli atleti

    il comitato organizzatore

    Verona capitale delle Digital Humanities

    Tabbi-Zonzini-San-Biagio-Luciani-Bravi-Nocini-Carlucci-Gotti

    In Aoui primo trapianto di cuore artificiale del Veneto

    Domenico Girelli eletto presidente della società internazionale Bioiron

  • Dai dipartimenti

    Ultimo giorno di scuola consapevole e sostenibile

    il comitato organizzatore

    Verona capitale delle Digital Humanities

    Referenti e partecipanti del progetto So.Di.Re. Legalità

    Giornata conclusiva del progetto So.Di.Re. Legalità

    Photo credits: @ภาคภูมิ ปัจจังคะตา - Adobe Stock

    Le ossa rare dell’Europa, la rete Ern-Bond e l’eccellenza veronese nella ricerca sulle malattie scheletriche

  • Verona città universitaria

    Può l’università trasformare la città?

    Santa Marta si illumina per il Veronetta Contemporanea Festival

    Veronetta dall'alto

    Veranotte accende Veronetta, il quartiere si fa palcoscenico

    Photo credits: @PinkBirdDesign - Adobe Stock

    Aspettando Veronetta Contemporanea festival

  • Redazione
    • Opinioni
No Result
View All Result
Univrmagazine
  • Attualità
    Da sinistra: Nicola Pasqualicchio, Alessandro Anderloni, Elena Brigo (Panta Rei), Federica Collato (Reverse) e Ivan Salvadori

    Ai confini della libertà

    La band Perfect Pair: da sinistra Franco Zampieri, Suzi Dal Zen, Shibu e David Cameroni

    C’era un ragazzo che come me amava i Beatles

    Da sinistra, Emanuela Maria Altamura, Livia Viganò e Luca Mazzara

    Factanza: l’informazione che crea (in)dipendenza

    Parole nel vento – liberamente tratto da La Buona Novella di Fabrizio De André

  • Ricerca
    Il gruppo di ricerca

    Ridefinito il Cut-Off dell’Indice di massa corporea per gli atleti

    il comitato organizzatore

    Verona capitale delle Digital Humanities

    Tabbi-Zonzini-San-Biagio-Luciani-Bravi-Nocini-Carlucci-Gotti

    In Aoui primo trapianto di cuore artificiale del Veneto

    Domenico Girelli eletto presidente della società internazionale Bioiron

  • Dai dipartimenti

    Ultimo giorno di scuola consapevole e sostenibile

    il comitato organizzatore

    Verona capitale delle Digital Humanities

    Referenti e partecipanti del progetto So.Di.Re. Legalità

    Giornata conclusiva del progetto So.Di.Re. Legalità

    Photo credits: @ภาคภูมิ ปัจจังคะตา - Adobe Stock

    Le ossa rare dell’Europa, la rete Ern-Bond e l’eccellenza veronese nella ricerca sulle malattie scheletriche

  • Verona città universitaria

    Può l’università trasformare la città?

    Santa Marta si illumina per il Veronetta Contemporanea Festival

    Veronetta dall'alto

    Veranotte accende Veronetta, il quartiere si fa palcoscenico

    Photo credits: @PinkBirdDesign - Adobe Stock

    Aspettando Veronetta Contemporanea festival

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

Sinergie logiche

Giovedì 20 maggio alle 13 sarà ospite del dipartimento di Informatica dell’ateneo scaligero Robert K. Brayton dell’ Università di Berkeley, California.

di univr
17 Maggio 2010
in Attualità
Brayton

Brayton

Giovedì 20 maggio alle 13 sarà ospite del dipartimento di Informatica dell’ateneo scaligero Robert K. Brayton distinguished professor di Ingegneria elettrica dell’ Università di Berkeley, California. Brayton terrà una lectio magistralis dal titolo “The synergy between logic synthesis and formal verification”. L’incontro, aperto al pubblico, si terrà nella Sala Verde di Cà Vignal, strada le Grazie 15.

And-Invertor- Graphs. “Il nostro gruppo di ricerca – spiega Brayton  – ha lavorato nel corso di diversi decenni nella Sintesi logica con alcune incursioni nella Procedura di verifica formale. Un approccio sinergico tra i due ambiti di ricerca che ha definito le similarità , quali ad esempio il fatto che le procedure di verifica formale spesso utilizzano And-Invertor-Graphs.

Lectio magistralis. Durante la lectio magistralis Brayton parlerà di una nuova tool di disegno tecnico informatizzato (Cad) denominata ABC che nasce nel lavoro di ricerca sinergico tra Sintesi logica e Procedura di verifica formale,sviluppata dall’Università di Berkeley. ABC è un sistema di pubblico dominio che è sia un sistema di sintesi che di verifica ed è attualmente utilizzato sia negli ambiti di ricerca universitaria che in compagnie industriali.

Biografia di R. K. Brayton. Robert Brayton nel 1956 ottiene la laurea in Ingegneria elettrica all’Iowa State University e nel 1961 il Phd in Matematica al Mit di Boston. Ha fatto parte del dipartimento di Scienze matematiche T.J Watson Research Center dell’Ibm e a partire dal 1987 è titolare dell’insegnamento in Ingegneria elettrica al dipartimento Eecs, Ingegneria elettrica e Informatica, dell’Università di Berkeley. Ha dato alle stampe oltre 450 papers tecnici e10 libri su temi d’analisi quali i Network non lineari, ottimizzazione e simulazione di circuiti elettrici, sintesi logica e procedure di verifica formale.

Articolo precedente

Verona-Monaco, un sodalizio lungo cinquant’anni

Articolo successivo

Michel Vovelle e la storia dei simboli di Francia

Ti potrebbe piacere anche

Verona città universitaria

Può l’università trasformare la città?

di Elisa Innocenti
18 Giugno 2025
Da sinistra: Nicola Pasqualicchio, Alessandro Anderloni, Elena Brigo (Panta Rei), Federica Collato (Reverse) e Ivan Salvadori
Attualità

Ai confini della libertà

di Michele D'Andretta
17 Giugno 2025
Dai dipartimenti

Ultimo giorno di scuola consapevole e sostenibile

di Michele D'Andretta
17 Giugno 2025
Verona città universitaria

Santa Marta si illumina per il Veronetta Contemporanea Festival

di Elisa Innocenti
17 Giugno 2025
Il gruppo di ricerca
Ricerca e innovazione

Ridefinito il Cut-Off dell’Indice di massa corporea per gli atleti

di Elisa Innocenti
17 Giugno 2025

Ultimi articoli

Verona città universitaria

Può l’università trasformare la città?

18 Giugno 2025
Da sinistra: Nicola Pasqualicchio, Alessandro Anderloni, Elena Brigo (Panta Rei), Federica Collato (Reverse) e Ivan Salvadori
Attualità

Ai confini della libertà

17 Giugno 2025
Dai dipartimenti

Ultimo giorno di scuola consapevole e sostenibile

17 Giugno 2025
Verona città universitaria

Santa Marta si illumina per il Veronetta Contemporanea Festival

17 Giugno 2025
Il gruppo di ricerca
Ricerca e innovazione

Ridefinito il Cut-Off dell’Indice di massa corporea per gli atleti

17 Giugno 2025
il comitato organizzatore
Dai dipartimenti

Verona capitale delle Digital Humanities

17 Giugno 2025
Referenti e partecipanti del progetto So.Di.Re. Legalità
Dai dipartimenti

Giornata conclusiva del progetto So.Di.Re. Legalità

16 Giugno 2025
La band Perfect Pair: da sinistra Franco Zampieri, Suzi Dal Zen, Shibu e David Cameroni
Attualità

C’era un ragazzo che come me amava i Beatles

16 Giugno 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