masini
univrit
giovedì,
Ore 10.30
- 12.30,
Orario ricevimento da ottobre 2024.
giovedì 10.30-12.30
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 logici dell'informatica teorica e quantistica, in particolare:
Nella didattica mi sono sempre prestato alle esigenze dei corsi di laurea, insegnando le discipline più disparate (spesso 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.
Insegnamenti attivi nel periodo selezionato: 66.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| proof theory, Linear logic, Type theory | Sequent calculi for modal, linear and temporal logics. Natural deduction systems for modal, linear and temporal logics. Labelled deductive systems. Type systems for CPS. Proof nets for linear and classical logics. Deductive systems for quantum computability. |
Algebra, Geometria e Logica Matematica
General logic |
| Carica | Organo collegiale |
|---|---|
| Collegio Didattico di Informatica - Dipartimento Informatica | |
| componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
