Andrea Masini

foto 2013,  13 giugno 2013
Qualifica
Professore ordinario
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_4 - Theoretical computer science, formal methods, and quantum computing

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 76
Telefono
045 802 7922
E-mail
andrea|masini*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
https://amasini58.wixsite.com/quilab

Orario di ricevimento

giovedì, Ore 10.30 - 12.30,  

Orario ricevimento per il mese di settembre
giovedì  10.30-12.30

Curriculum
  • pdf   CV-en   (pdf, en, 42 KB, 20/10/17)
  • pdf   CV-it   (pdf, it, 40 KB, 20/10/17)

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:

  • teoria della dimostrazione per le logiche modali e temporali;
  • teoria della dimostrazione per la logica lineare;
  • teoria della computabilità quantistica;
  • formalizzazioni logiche per i calcoli quantistici;
  • lambda calcoli e teoria dei tipi.

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

Insegnamenti attivi nel periodo selezionato: 62.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Ingegneria e scienze informatiche Logica in informatica (2022/2023)   6  eLearning
Laurea in Bioinformatica Programmazione (2022/2023)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I
PROGRAMMAZIONE PER BIOINFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche Sistemi software per la dimostrazione assistita (2022/2023)   6  eLearning
Laurea in Informatica Logica [Matricole dispari] (2021/2022)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Logica in informatica (2021/2022)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Ragionamento automatico (2021/2022)   6  eLearning
Dottorato in Informatica Introduzione a CoQ (2020/2021)   3   
Laurea in Informatica Logica [Matricole pari] (2020/2021)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Logica in informatica (2020/2021)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Ragionamento automatico (2020/2021)   6  eLearning
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Logica (2019/2020)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2019/2020)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Logica (2018/2019)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2018/2019)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Logica (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2017/2018)   6  eLearning
Laurea in Bioinformatica Programmazione (2016/2017)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni)
LABORATORIO DI PROGRAMMAZIONE I [II turno] (Laboratorio)
PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Bioinformatica Programmazione (2015/2016)   12    PROGRAMMAZIONE PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE I [II turno]
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2014/2015)   12    LOGICA
Laurea in Informatica Matematica discreta (2014/2015)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2013/2014)   12    LOGICA
Laurea in Informatica Logica e matematica discreta (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2012/2013)   12    LOGICA
Laurea in Informatica Logica e matematica discreta (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2011/2012)   12    LOGICA
Laurea in Informatica Logica e matematica discreta (2011/2012)   6   
Laurea in Informatica Linguaggi e compilatori (2010/2011)   12    LINGUAGGI
COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2009/2010)   12    LINGUAGGI
Laurea in Informatica Linguaggi e compilatori (2009/2010)   12    COMPILATORI
LINGUAGGI
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base (2008/2009)   4    Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   12    Teoria
Laurea specialistica in Informatica Semantica (2008/2009)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base (2007/2008)   4    Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione (2007/2008)   12    Teoria
Laurea specialistica in Informatica Semantica (2007/2008)   5   
Laurea specialistica in Informatica Logica computazionale (2006/2007)   5    2,5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione (2006/2007)   12    Teoria
Laurea specialistica in Informatica Semantica (2006/2007)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Cognomi A-P] (2005/2006)   12    Teoria
Laurea specialistica in Informatica Semantica (2005/2006)   5   
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Informatica documentale (p) (2004/2005)   6     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Logica (2004/2005)   5     
Laurea specialistica in Informatica Semantica (2004/2005)   5     
Laurea in Lettere (ordinamento fino all'A.A. 2007/08) Informatica di base (i) lt (2003/2004)   3     
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Informatica di base (i) sc (2003/2004)   6     
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Informatica documentale (p) [Cognomi A-K] (2003/2004)   6     
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Informatica documentale (p) [Cognomi L-Z] (2003/2004)   6     
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Interazione uomo-macchina (i) (2003/2004)   3     
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Informatica di base (i) (2002/2003)   6     
Laurea in Filosofia (ordinamento fino all'A.A. 2007/08) Informatica di base (i) fi (2002/2003)   6     
Laurea in Lettere (ordinamento fino all'A.A. 2007/08) Informatica di base (i) lt (2002/2003)   3     
Laurea in Filosofia (ordinamento fino all'A.A. 2007/08) Interazione uomo-macchina (i) [Cognomi A-K] (2002/2003)   3     
Laurea in Filosofia (ordinamento fino all'A.A. 2007/08) Interazione uomo-macchina (i) [Cognomi L-Z] (2002/2003)   3     
Laurea in Filosofia (ordinamento fino all'A.A. 2007/08) Informatica di base (i) fi (2001/2002)   6     
Laurea in Filosofia (ordinamento fino all'A.A. 2007/08) Interazione uomo-macchina (i) (2001/2002)   3     

Per la comunità studentesca

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 a breve anche tramite l'app Univr.

MyUnivr
 

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
Quantum Informatics Laboratory - QUILAB
Laboratorio di Informatica Quantistica
Competenze
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
Progetti
Titolo Data inizio
Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009) 15/07/11
Tecniche logiche e semantiche per computazioni funzionali e quantistiche 22/09/08
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 30/11/04
Logica Lineare: verso una logica delle prove 01/05/02
Logica in Informatica: dimostrazioni, tipi e computazioni 01/01/02





Andrea Masini
Carica Organo collegiale
componente Consiglio del Dipartimento di Informatica - Dipartimento Informatica

Organizzazione

Strutture del dipartimento

Condividi