Andrea Masini

foto 2013,  June 13, 2013
Position
Full Professor
Academic sector
INF/01 - INFORMATICS
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
http://www.facebook.com/andrea.masini.5811

Office Hours

Thursday, Hours 10:30 AM - 12:30 PM,   Ca' Vignal 2, floor 1, room 76
A partire da questa settimana (20 giugno 2016) e sino alla ripresa delle lezioni. l'orario di ricevimento è:
giovedì dalle ore 10.30 alle ore 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 pe rle logiche temporali;
  • formalizzazioni logiche per i calcoli quantistici;
  • lambda calcoli e teroria 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: 46.
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 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 PROGRAMMAZIONE PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE I (Esercitazioni)
LABORATORIO DI PROGRAMMAZIONE I [II turno] (Laboratorio)
Bachelor's degree in Bioinformatics Introduction to Programming (2015/2016)   12  eLearning PROGRAMMAZIONE PER BIOINFORMATICA
LABORATORIO DI PROGRAMMAZIONE I [II turno]
Bachelor's degree in Computer Science Discrete Mathematics (2014/2015)   6  eLearning
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    COMPILATORI
LINGUAGGI
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    COMPILATORI
LINGUAGGI
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     

Advanced teaching activities
Name Online
PhD Course on "Quantum Computing" (31° Ciclo - PhD in Computer Science)
PhD Course on "Quantum Computing" (30° ciclo - PhD in Computer Science)
 

Research groups

Logica
Logica in matematica ed informatica.
QUILAB
The Quantum Informatics Laboratory (QUILAB) brings together researchers from the computer science and physics departments to work on fundamental issues in quantum computation, quantum algorithms and quantum information processing.
Skills
Topic Description Research area
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Informatica teorica
Theory of computation - Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Informatica teorica
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. Informatica teorica
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. Informatica teorica
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. Informatica teorica
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