Circuit modeling and applications to biology, security and new technologies

A.A. 2018/2019
Course offered to students on the PhD programme in
3
Crediti
15
Ore totali
Periodo
Marzo 2019
Lingua
Inglese
Docente responsabile: Valentina Ciriani
The Ph.D. course will show some modeling techniques, algorithms, and data structures typically exploited
in circuit design. Whereas these methods are widely used in logic synthesis and formal verification
contexts, their use is recently extended in many other computer science areas. The aim of this course is to
provide the students with the experience for choosing logic-based tools for handling problems in their own
research area. In particular, the course will cover SAT based techniques, data structures for manipulation of
Boolean functions such as BDDs, and Boolean modelling through Boolean relations. Some examples will be
provided in classical circuit design, in BioCAD, in the design for new technologies, and in the security area.
Non definiti
Modalità di valutazione
Giudizio di approvazione
Giudizio di valutazione
superato/non superato
Iscrizioni

Scadenze

Il termine di iscrizione ai corsi è previsto generalmente entro il 25° giorno del mese precedente al mese di avvio, in particolare:

  • per i corsi in avvio a gennaio 2022 fino al 27 dicembre 2021
  • per i corsi in avvio a febbraio 2022 fino al 25 gennaio 2022
  • per i corsi in avvio a marzo 2022 fino al 25 febbraio 2022.

Saranno rese note appena possibile le scadenze di iscrizione ai corsi in avvio nei mesi successivi.

Come iscriversi

  1. Autenticarsi al servizio di iscrizione con le credenziali di Ateneo
  2. Selezionare l’insegnamento scelto e cliccare su Iscrizione e infine su Iscriviti

Trascurare del tutto la voce "Data di appello" che appare durante la procedura di iscrizione.

Assistenza

Per informazioni e richieste di chiarimento scrivere a: phd@unimi.it

Docente/i
Ricevimento:
Su appuntamento via e-mail
Dipartimento di Informatica - Via Celoria 18 - 20135 - Milano (MI)
Ricevimento:
su appuntamento tramite e-mail
Dipartimento di Informatica - sede di Crema