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 10:30 AM - 12:30 PM,  

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.

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    (Teoria 1)
(Laboratorio 1)
(Esercitazioni 1)
Bachelor's degree in Computer Science Topics on computer architecture and operating systems (2024/2025)   12  eLearning SISTEMI OPERATIVI I (Teoria)
SISTEMI OPERATIVI I [Matricole pari] (Laboratorio)
SISTEMI OPERATIVI I (Esercitazioni)
Master's degree in Computer Science and Engineering Interactive Theorem Proving (2022/2023)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to Programming (2022/2023)   12  eLearning PROGRAMMAZIONE PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE I
Master's degree in Computer Science and Engineering Logic in computer science (2022/2023)   6  eLearning
Master's degree in Computer Science and Engineering Automated reasoning (2021/2022)   6  eLearning
Bachelor's degree in Computer Science Logic [Matricole dispari] (2021/2022)   6  eLearning
Master's degree in Computer Science and Engineering Logic in computer science (2021/2022)   6  eLearning
Master's degree in Computer Science and Engineering Automated reasoning (2020/2021)   6  eLearning
Bachelor's degree in Computer Science Logic [Matricole pari] (2020/2021)   6  eLearning
Master's degree in Computer Science and Engineering Logic in computer science (2020/2021)   6  eLearning
Master's degree in Computer Science and Engineering Automated System Verification (2019/2020)   6  eLearning
Master's degree in Computer Science and Engineering Logic (2019/2020)   6  eLearning
Master's degree in Computer Science and Engineering Automated System Verification (2018/2019)   6  eLearning
Master's degree in Computer Science and Engineering Logic (2018/2019)   6  eLearning
Master's degree in Computer Science and Engineering Automated System Verification (2017/2018)   6  eLearning
Master's degree in Computer Science and Engineering Logic (2017/2018)   6  eLearning
Bachelor's degree in Bioinformatics Introduction to Programming (2016/2017)   12  eLearning LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni)
LABORATORIO DI PROGRAMMAZIONE I [II turno] (Laboratorio)
PROGRAMMAZIONE PER BIOINFORMATICA
Bachelor's degree in Bioinformatics Introduction to Programming (2015/2016)   12    LABORATORIO DI PROGRAMMAZIONE I [II turno]
PROGRAMMAZIONE PER BIOINFORMATICA
Bachelor's degree in Computer Science Discrete Mathematics (2014/2015)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2014/2015)   12    LOGICA
Master's degree in Computer Science and Engineering Foundations of Computing (2013/2014)   12    LOGICA
Bachelor's degree in Computer Science Logics and discrete mathematics (2013/2014)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2012/2013)   12    LOGICA
Bachelor's degree in Computer Science Logics and discrete mathematics (2012/2013)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2011/2012)   12    LOGICA
Bachelor's degree in Computer Science Logics and discrete mathematics (2011/2012)   6   
Bachelor's degree in Computer Science Languages and compilers (2010/2011)   12    LINGUAGGI
COMPILATORI
Master's degree in Computer Science and Engineering Foundations of Computing (2009/2010)   12    LINGUAGGI
Bachelor's degree in Computer Science Languages and compilers (2009/2010)   12    LINGUAGGI
COMPILATORI
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing (2008/2009)   4    Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming (2008/2009)   12    Teoria
Masters in Computer Science Semantics (2008/2009)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing (2007/2008)   4    Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming (2007/2008)   12    Teoria
Masters in Computer Science Semantics (2007/2008)   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    Teoria
Masters in Computer Science Semantics (2006/2007)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming [Cognomi A-P] (2005/2006)   12    Teoria
Masters in Computer Science Semantics (2005/2006)   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
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
General logic
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