Andrea Masini

  1. Home
  2. Department
  3. People
  4. Andrea Masini
foto 2013, June 13, 2013
Position
Full Professor
Academic sector
INFO-01/A - Informatics
Research sector (ERC-2024)
PE1_1 - Logic and foundations

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

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
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 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 ;
  • 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.

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Operating Systems (2024/2025)   12    3  (Teoria 1)
1  (Laboratorio 1)
2  (Esercitazioni 1)
Bachelor's degree in Computer Science Topics on computer architecture and operating systems (2024/2025)   12    3  SISTEMI OPERATIVI I (Teoria)
1  SISTEMI OPERATIVI I [Matricole pari] (Laboratorio)
2  SISTEMI OPERATIVI I (Esercitazioni)
Master's degree in Computer Science and Engineering Interactive Theorem Proving (2022/2023)   6  eLearning 6 
Bachelor's degree in Bioinformatics Introduction to Programming (2022/2023)   12  eLearning 3  PROGRAMMAZIONE PER BIOINFORMATICA
1  LABORATORIO DI PROGRAMMAZIONE I
Master's degree in Computer Science and Engineering Logic in computer science (2022/2023)   6  eLearning 6 
Master's degree in Computer Science and Engineering Automated reasoning (2021/2022)   6  eLearning 6 
Bachelor's degree in Computer Science Logic [Matricole dispari] (2021/2022)   6  eLearning 6 
Master's degree in Computer Science and Engineering Logic in computer science (2021/2022)   6  eLearning 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 
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 
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    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  LINGUAGGI
6  COMPILATORI
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     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

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.

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. Algebra, Geometry, and Mathematical Logic
Models of computation
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Algorithms, Logic, and Theory of Computing
Models of computation
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Software Engineering and Formal Verification
Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Algebra, Geometry, and Mathematical Logic
Logic
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Algorithms, Logic, and Theory of Computing
Logic
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Software Engineering and Formal Verification
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, Geometry, and Mathematical Logic
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. Algorithms, Logic, and Theory of Computing
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. Software Engineering and Formal Verification
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, Geometry, and Mathematical Logic
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. Algorithms, Logic, and Theory of Computing
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. Software Engineering and Formal Verification
Logic
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Algebra, Geometry, and Mathematical Logic
Models of computation
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Algorithms, Logic, and Theory of Computing
Models of computation
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Software Engineering and Formal Verification
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

Share