Andrea Masini

  1. Home
  2. Dipartimento
  3. Persone
  4. Andrea Masini
foto 2013, 13 giugno 2013
Qualifica
Professore ordinario
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE1_1 - Logic and foundations

PE6_14 - Quantum computing (formal methods, algorithms and other computer science aspects)

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 da ottobre 2024.
giovedì  10.30-12.30

Curriculum

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 ;
  • teoria della computabilità quantistica;
  • 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: 66.
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 Elementi di architetture e sistemi operativi (2024/2025)   12    3  SISTEMI OPERATIVI I (Teoria)
1  SISTEMI OPERATIVI I [Matricole pari] (Laboratorio)
2  SISTEMI OPERATIVI I (Esercitazioni)
Laurea in Informatica Sistemi operativi (2024/2025)   12    1  (Laboratorio 1)
2  (Esercitazioni 1)
3  (Teoria 1)
Laurea magistrale in Ingegneria e scienze informatiche Logica in informatica (2022/2023)   6  eLearning 6 
Laurea in Bioinformatica Programmazione (2022/2023)   12  eLearning 1  LABORATORIO DI PROGRAMMAZIONE I
3  PROGRAMMAZIONE PER BIOINFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche Sistemi software per la dimostrazione assistita (2022/2023)   6  eLearning 6 
Laurea in Informatica Logica [Matricole dispari] (2021/2022)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Logica in informatica (2021/2022)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Ragionamento automatico (2021/2022)   6  eLearning 6 
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  PROGRAMMAZIONE PER BIOINFORMATICA
6  LABORATORIO DI PROGRAMMAZIONE I [II turno]
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2014/2015)   12    6  LOGICA
Laurea in Informatica Matematica discreta (2014/2015)   6    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  LINGUAGGI
6  COMPILATORI
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2009/2010)   12    4  LINGUAGGI
Laurea in Informatica Linguaggi e compilatori (2009/2010)   12    6  LINGUAGGI
6  COMPILATORI
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     

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

MyUnivr

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

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. Algebra, Geometria e Logica Matematica
Models of computation
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Algoritmi, Logica e teoria della computazione
Models of computation
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Ingegneria del Software e verifica formale
Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Algebra, Geometria e Logica Matematica
Logic
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Algoritmi, Logica e teoria della computazione
Logic
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Ingegneria del Software e verifica formale
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. Algebra, Geometria e Logica Matematica
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. Algoritmi, Logica e teoria della computazione
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. Ingegneria del Software e verifica formale
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. Algebra, Geometria e Logica Matematica
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. Algoritmi, Logica e teoria della computazione
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. Ingegneria del Software e verifica formale
Logic
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Algebra, Geometria e Logica Matematica
Models of computation
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Algoritmi, Logica e teoria della computazione
Models of computation
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Ingegneria del Software e verifica formale
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