Andrea Masini

  1. Home
  2. Dipartimento
  3. Persone
  4. 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
Fax
045 802 7068
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

martedì, Ore 10.30 - 12.30,  
Orario ricevimento (sino a fine gennaio 2020).
Martedì 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;
  • model checking per le logiche temporali;
  • 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: 53.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Logica [Matricole pari] (2020/2021)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Logica in informatica (2020/2021)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Ragionamento automatico (2020/2021)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Logica (2019/2020)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2019/2020)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Logica (2018/2019)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2018/2019)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Logica (2017/2018)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Verifica automatica di sistemi (2017/2018)   6  eLearning 6 
Laurea in Bioinformatica Programmazione (2016/2017)   12  eLearning 1  LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni)
5  LABORATORIO DI PROGRAMMAZIONE I [II turno] (Laboratorio)
6  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea in Bioinformatica Programmazione (2015/2016)   12    6  LABORATORIO DI PROGRAMMAZIONE I [II turno]
6  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2014/2015)   12    6  LOGICA
Laurea in Informatica Matematica discreta (2014/2015)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2013/2014)   12    6  LOGICA
Laurea in Informatica Logica e matematica discreta (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2012/2013)   12    6  LOGICA
Laurea in Informatica Logica e matematica discreta (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2011/2012)   12    6  LOGICA
Laurea in Informatica Logica e matematica discreta (2011/2012)   6    6 
Laurea in Informatica Linguaggi e compilatori (2010/2011)   12    6  COMPILATORI
6  LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2009/2010)   12    4  LINGUAGGI
Laurea in Informatica Linguaggi e compilatori (2009/2010)   12    6  COMPILATORI
6  LINGUAGGI
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base (2008/2009)   4    2  Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   12    8  Teoria
Laurea specialistica in Informatica Semantica (2008/2009)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base (2007/2008)   4    2  Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione (2007/2008)   12    8  Teoria
Laurea specialistica in Informatica Semantica (2007/2008)   5    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    8  Teoria
Laurea specialistica in Informatica Semantica (2006/2007)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Cognomi A-P] (2005/2006)   12    8  Teoria
Laurea specialistica in Informatica Semantica (2005/2006)   5    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     

Attività didattiche avanzate
Nome Online
Introduzione a CoQ (34° ciclo - Dottorato in Informatica)
Introduzione a CoQ (33° ciclo - Dottorato in Informatica)
 

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
QUILAB
Quantum Informatics Laboratory
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



Organizzazione

Strutture del dipartimento