Andrea Masini

  1. Home
  2. Department
  3. People
  4. Andrea Masini
foto 2013, June 13, 2013
Position
Full Professor
Academic sector
INF/01 - INFORMATICS
Research sector (ERC)
PE6_4 - Theoretical computer science, formal methods, and quantum computing

Office
Ca' Vignal 2,  Floor 1,  Room 76
Telephone
045 802 7922
Fax
045 802 7068
E-mail
andrea|masini*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
https://amasini58.wixsite.com/quilab

Office Hours

Thursday, Hours 10:30 AM - 12:30 PM,  
Orario ricevimento (solo per appuntamento).
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;
  • 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.

Modules

Modules running in the period selected: 58.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Science and Engineering Automated reasoning (2021/2022)   6    6 
Bachelor's degree in Computer Science Logic [Matricole pari] (2021/2022)   6    6 
Master's degree in Computer Science and Engineering Logic in computer science (2021/2022)   6    6 
Master's degree in Computer Science and Engineering Automated reasoning (2020/2021)   6  eLearning 6 
Bachelor's degree in Computer Science Logic [Matricole pari] (2020/2021)   6  eLearning 6 
Master's degree in Computer Science and Engineering Logic in computer science (2020/2021)   6  eLearning 6 
PhD in Computer Science Introduzione a CoQ (2020/2021)   3    3 
Master's degree in Computer Science and Engineering Automated System Verification (2019/2020)   6  eLearning 6 
Master's degree in Computer Science and Engineering Logic (2019/2020)   6  eLearning 6 
PhD in Computer Science Attività didattica dottorato (2019/2020)   50  eLearning 1 
Master's degree in Computer Science and Engineering Automated System Verification (2018/2019)   6  eLearning 6 
Master's degree in Computer Science and Engineering Logic (2018/2019)   6  eLearning 6 
Master's degree in Computer Science and Engineering Automated System Verification (2017/2018)   6  eLearning 6 
Master's degree in Computer Science and Engineering Logic (2017/2018)   6  eLearning 6 
Bachelor's degree in Bioinformatics Introduction to Programming (2016/2017)   12  eLearning 1  LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni)
5  LABORATORIO DI PROGRAMMAZIONE I [II turno] (Laboratorio)
6  PROGRAMMAZIONE PER BIOINFORMATICA
Bachelor's degree in Bioinformatics Introduction to Programming (2015/2016)   12    6  LABORATORIO DI PROGRAMMAZIONE I [II turno]
6  PROGRAMMAZIONE PER BIOINFORMATICA
Bachelor's degree in Computer Science Discrete Mathematics (2014/2015)   6  eLearning 6 
Master's degree in Computer Science and Engineering Foundations of Computing (2014/2015)   12    6  LOGICA
Master's degree in Computer Science and Engineering Foundations of Computing (2013/2014)   12    6  LOGICA
Bachelor's degree in Computer Science Logics and discrete mathematics (2013/2014)   6    6 
Master's degree in Computer Science and Engineering Foundations of Computing (2012/2013)   12    6  LOGICA
Bachelor's degree in Computer Science Logics and discrete mathematics (2012/2013)   6    6 
Master's degree in Computer Science and Engineering Foundations of Computing (2011/2012)   12    6  LOGICA
Bachelor's degree in Computer Science Logics and discrete mathematics (2011/2012)   6    6 
Bachelor's degree in Computer Science Languages and compilers (2010/2011)   12    6  COMPILATORI
6  LINGUAGGI
Master's degree in Computer Science and Engineering Foundations of Computing (2009/2010)   12    4  LINGUAGGI
Bachelor's degree in Computer Science Languages and compilers (2009/2010)   12    6  LINGUAGGI
6  COMPILATORI
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing (2008/2009)   4    2  Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming (2008/2009)   12    8  Teoria
Masters in Computer Science Semantics (2008/2009)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing (2007/2008)   4    2  Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming (2007/2008)   12    8  Teoria
Masters in Computer Science Semantics (2007/2008)   5    5 
Masters in Computer Science computational logic (2006/2007)   5    2.5 
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming (2006/2007)   12    8  Teoria
Masters in Computer Science Semantics (2006/2007)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming [Cognomi A-P] (2005/2006)   12    8  Teoria
Masters in Computer Science Semantics (2005/2006)   5    5 
Degree in Communication Science: publishing and journalism Documental Information Technology (p) (2004/2005)   6     
Bachelor in Computer Science (until 2008-2009 academic year) Logic (2004/2005)   5     
Masters in Computer Science Semantics (2004/2005)   5     
Degree in Arts and HUmanities Basic Information Technology (i) LT (2003/2004)   3     
Degree in Communication Science: publishing and journalism Basic Information Technology (i)SC (2003/2004)   6     
Degree in Communication Science: publishing and journalism Documental Information Technology (p) [Cognomi A-K] (2003/2004)   6     
Degree in Communication Science: publishing and journalism Documental Information Technology (p) [Cognomi L-Z] (2003/2004)   6     
Degree in Communication Science: publishing and journalism Human-computer Interaction (i) (2003/2004)   3     
Degree in Communication Science: publishing and journalism Basic Information Technology (i) (2002/2003)   6     
Degree in Philosophy Basic Information Technology (i)FI (2002/2003)   6     
Degree in Arts and HUmanities Basic Information Technology (i) LT (2002/2003)   3     
Degree in Philosophy Human-computer Interaction (i) [Cognomi A-K] (2002/2003)   3     
Degree in Philosophy Human-computer Interaction (i) [Cognomi L-Z] (2002/2003)   3     
Degree in Philosophy Basic Information Technology (i)FI (2001/2002)   6     
Degree in Philosophy Human-computer Interaction (i) (2001/2002)   3     

Advanced teaching activities
Name Online
Introduzione a CoQ (34° ciclo - PhD in Computer Science)
 

Research groups

Logica
Logica in matematica ed informatica.
The Quantum Informatics Laboratory - QUILAB
The Quantum Informatics Laboratory
Research interests
Topic Description Research area
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Theory of computation
Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. 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. 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. 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. Theory of computation
Models of computation
Projects
Title Starting date
Fondamenti Matematici di Estensioni Quantitative del Lambda-calcolo e dell'Interazione (PRIN 2009) 7/15/11
Tecniche logiche e semantiche per computazioni funzionali e quantistiche 9/22/08
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 11/30/04
Logica Lineare: verso una logica delle prove 5/1/02
Logica in Informatica: dimostrazioni, tipi e computazioni 1/1/02



Organization

Department facilities