masini
univrit
lunedì,
Ore 10.00
- 12.00,
Orario ricevimento da ottobre 2025
lunedì 10.00-12.00
(E' obbligatorio inviare una mail il giorno precedente il ricevimento per poter partecipare al ricevimento)..
Per domande molto semplici posso benissimo rispondere via e-mail.
CV-english
(pdf, en, 39 KB, 17/09/24)
CV-italiano
(pdf, it, 39 KB, 17/09/24)
La mia ricerca è sempre stata orientata agli aspetti logici dell'informatica.
Sono convinto che la ricerca teorica sia uno dei cardini dell'università e che non possa per nessun motivo essere vincolata alle cosiddette esigenze del territorio.
Le università devono guardare a tutto il mondo contribuendo alla crescita della conoscenza globale.
Mi occupo dei fondamenti della logica:
Nella didattica mi sono sempre prestato alle esigenze dei corsi di laurea, insegnando le discipline più disparate (a volte molto distanti dai miei interessi di ricerca) quali architetture degli elaboratori, basi di dati, programmazione in C e Java, programmazione di sistema, logica, semantica dei linguaggi di programmazione, implementazione dei linguaggi di programmazione, compilatori, matematica discreta, sistemi operativi, proof assistant, algebra, algoritmi.
Insegnamenti attivi nel periodo selezionato: 69.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Teoria della dimostrazione e matematica costruttiva | La teoria della dimostrazione si occupa delle dimostrazione matematiche, che in tal modo diventano oggetti della matematica. L'obiettivo è capire “cosa si può dimostrare con cosa” e ottenere informazione computazionale dalle dimostrazioni. La matematica costruttiva mira a dimostrazioni dirette da cui si possono estrarre algoritmi; ogni tale algoritmo viene fuori con un certificato di correttezza gratuito, che è la dimostrazione originale. |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations |
| Teoria delle dimostrazioni, logica lineare e teoria dei tipi | Calcoli sequenziali per logiche modali, lineari e temporali. Sistemi di deduzione naturale per logiche modali, lineari e temporali. Sistemi deduttivi etichettati. Sistemi dei tipi per CPS. Reti di dimostrazione per logiche lineari e classiche. Sistemi deduttivi per computabilità quantistica. |
Algebra, Geometria e Logica Matematica
General logic |
| Carica | Organo collegiale |
|---|---|
| componente | Collegio Didattico di Informatica - Dipartimento Informatica |
| componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
