Luca Paolini: Insegnamento (in Italiano)
AA 2022/2023
Quantum Computing (PhD), Logica per l'Informatica, Algoritmi e Programmazione, Informatica , Introduzione ai sistemi di elaborazione (Master MET 4.0)..
AA 2021/2022
Quantum Computing (PhD), Logica per l'Informatica, Algoritmi e Programmazione, Informatica.
AA 2020/2021
Logica per l'Informatica, Algoritmi e Programmazione, Informatica.
AA 2019/2020
Logica per l'Informatica, Algoritmi e Programmazione, Informatica, Introduzione ai sistemi di elaborazione (MET 4.0).
AA 2018/2019
Alternative Computing Paradigms: reversible and quantum, Informatica Avanzata , Reti di Calcolatori, Informatica, Informatica, Introduzione ai sistemi di elaborazione (MET 4.0).
AA 2017/2018
Alternative Computing Paradigms: reversible and quantum, Informatica Avanzata, Informatica.
AA 2016/2017
Alternative Computing Paradigms: reversible and quantum, Informatica.
AA 2015/2016
Alternative Computing Paradigms: reversible and quantum, Informatica.
AA 2014/2015
Foundational principles of reversible and quantum computing, Informatica.
AA 2013/2014
Foundational principles of reversible and quantum computing , Informatica .
AA 2012/2013
Denotational Semantics, Informatica.
AA 2011/2012
Semantica dei Linguaggi di Programmazione , Informatica.
AA 2010/2011
Linguaggi Formali e Traduttori.
AA 2009/2010
Programmazione II e Laboratorio .
AA 2008/2009
Programmazione II e Laboratorio .
AA 2007/2008
Programmazione II e Laboratorio.
AA 2006/2007
Programmazione II e Laboratorio.
AA 2005/2006
Programmazione II e Laboratorio.
Corsi come Docente a Contratto
Programmazione in PERL per il Master di BioInformatica (Fondazione per le Biotecnologie, 2006),
Programmazione in PERL per il Master di BioInformatica (Fondazione per le Biotecnologie, 2005).
Questa pagina non è aggiornata spesso: contattami. Clic qui per qualche proposta. Le mie proposte non sono necessariamente fondazionali in quanto guardano anche alle possibilità applicative.
Nei corsi di laurea con specializzazioni precise, sono normalmente disponibile (compatibilmente con i miei impegni) a seguire tesi di interesse per i corsi di laurea stessi (nel setttore scientifico dei miei corsi).
Un elenco esaustivo dei miei interessi di ricerca mi risulta difficile, ma ecco qualche tema.
- ✱ Modelli di computazione: classico, analogico, probabilistico, reversibile, quantistico, ...
- ✱ Metodi formali per l'informatica: strumenti per la verifica del comportamento del software ma anche svilupppo di linguaggi formali.
- ✱ Lambda calcoli e calcoli dei processi, e meccanismi di valutazione. Solvability, call-by-value, sistemi di tipo, tipi intersezione, ...
- ✱ Semantiche dei linguaggi di programmazione: operazionali, denotazionali, categoriali.
- ✱ Logica lineare, logica classica, logica intuizionista, ma anche altre logiche costruttive e modali. Quantum logic. Strumenti per il ragionamento automatico.