Università di
Bari, Dipartimento di Informatica
Laboratorio di Informatica di base
"Luigi Federico Menabrea"
Dipartimento di Informatica |
|
Temi di ricerca:
Complessità
implicita dei linguaggi di programmazione; Semantica dei linguaggi di
programmazione; Gerarchie di complessità;
Programmazione
funzionale; Teoria della dimostrazione; Metodi formali HCI.
Studenti:
Annamaria Matera - Generic
Java: sicurezza del type system
in un linguaggio object oriented
- 2005.
Daniele Scrimieri - Il problema della
definizione di un modello numerico per i programmi PCF di tipo tre - 2005.
Teresa Fasano - Una misura di complessità
per linguaggi di programmazione imperativi: sigma-measure
- 2005.
Tiziana Galante - Specializzazione di
programmi C - 2006.
Antonietta Bruno - Espressività e sicurezza in
Java - 2006.
Margherita Caputo - Specializzazione di
programmi C, parte II - 2006.
Donato Colacicco - Trasformazione fra
programmi imperativi e funzionali: lambda-lifting e lambda-dropping
- 2006.
Giuseppe Accogli - Progettazione, tipaggio statico e semantica di un paradigma di un
linguaggio object-oriented - 2007.
Mauro Cicolella - Honeypot:
un diverso approccio alla sicurezza informatica - 2008.
Graziano Tamborrino - Un'algebra per
applicazioni list-orented – 2009.
Gianpaolo Caprara - Erlang
VS PHP: uno studio comparativo delle prestazioni - 2014
Biografie:
Luigi Federico Menabrea
John Locke
Ada Lovelace
David Hume