Andrea Masini

foto 2013,  13 giugno 2013
Qualifica
Professore ordinario
Settore disciplinare
INF/01 - INFORMATICA
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
http://www.facebook.com/andrea.masini.5811

Orario di ricevimento

giovedì, Ore 10.30 - 12.30,   Ca' Vignal 2, piano 1, stanza 76
A partire da questa settimana (20 giugno 2016) e sino alla ripresa delle lezioni. l'orario di ricevimento è:
giovedì dalle ore 10.30 alle ore 12.30

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 46.
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 (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 PROGRAMMAZIONE PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni)
LABORATORIO DI PROGRAMMAZIONE I [II turno] (Laboratorio)
Laurea in Bioinformatica Programmazione (2015/2016)   12  eLearning 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  eLearning
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    COMPILATORI
LINGUAGGI
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     

Attività didattiche avanzate
Nome Online
PhD Course on "Quantum Computing" (31° Ciclo - Dottorato in Informatica)
PhD Course on "Quantum Computing" (30° 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
Theory of computation - Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Informatica teorica
Theory of computation - 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
Theory of computation - 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
Theory of computation - Logic
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Informatica teorica
Theory of computation - 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