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
+39 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 2:30 PM - 4:30 PM,  

Orario ricevimento da marzo  2025.
giovedì  14.30 - 16.30

(chiedo gentilmente di inviare una mail il giorno precedente il ricevimento  per prenotarlo)

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.

Modules

Modules running in the period selected: 68.
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 Algebra and Foundations of Mathematics [Matricole pari] (2025/2026)   6    6 
Master's degree in Computer Science and Engineering Interactive Theorem Proving (2025/2026)   6    6 
Bachelor's degree in Computer Science Operating Systems (2024/2025)   12  eLearning 1  (Laboratorio 1)
2  (Esercitazioni 1)
3  (Teoria 1)
Bachelor's degree in Computer Science Topics on computer architecture and operating systems (2024/2025)   12  eLearning 2  SISTEMI OPERATIVI I (Esercitazioni)
1  SISTEMI OPERATIVI I [Matricole pari] (Laboratorio)
3  SISTEMI OPERATIVI I (Teoria)
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     

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.


Organization

Department facilities

Share