masini
univrit
giovedì,
Ore 10.30
- 12.30,
Orario ricevimento (solo per appuntamento).
Giovedì 10.30--12.30
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: 62.
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.
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Computability | Quantum and probabilistic computability. Implicit Complexity Theory. |
Informatica teorica
Models of computation |
| Lambda Calculus | Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. |
Informatica teorica
Logic |
| modal and temporal logics | Proof theoretical analysis of modal and temporal logics. Modal and temporal logics for security. Distribute logics. Branching a linear temporal logics. |
Informatica teorica
Logic |
| 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. |
Informatica teorica
Logic |
| Quantum computation theory | Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. |
Informatica teorica
Models of computation |
| Carica | Organo collegiale |
|---|---|
| componente | Collegio Didattico di Informatica - Dipartimento Informatica |
| componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
| componente | Giunta del Dipartimento di Informatica - Dipartimento Informatica |
