icona teaching     Luca Paolini: Insegnamento (in Italiano)

Pagine
c/o Corsi di Laurea:
   
Informatica,
Matematica,
Scuola di DOTTORATO (Informatica),
Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS);
Master in Management Of Enabling Technologies 4.0.

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 AvanzataInformatica.

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 è particolarmente aggiornata: meglio parlarmi di persona. Le mie proposte di tesi sono naturalmente rivolte verso la dimostrazione formale di proprieta di linguaggi e/o sistemi. Tuttavia la verifica di idee informali e l'implementazione di strumenti sono attività complementari ed importanti nella mia attività di ricerca (quindi ci sono ampi margini per tesi legate alla teoria, ma 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. Sintassi e sistemi deduttivi. Strumenti per il ragionamento automatico.