in questa pagina (this section is in italian)

• Corso di Laurea Triennale in Informatica, Universitą di Torino
• Corso di Laurea in Informatica Applicata, Universitą di Urbino
• Corso di Laurea in Informatica Applicata (percorso on-line), Universitą di Urbino
• Master Almaweb su Tecnologia del Software Libero e Open Source
• Corso di Laurea in Informatica, Universitą di Bologna
• Supervisione tesi di laurea
• Supervisione tirocini
• Progetti disponibili (per tesi e tirocini)

Ricevimento, tutorato, discussione temi per tesi di laurea si svolgono su appuntamento. Inviare una email a @.

Corso di Laurea Triennale in Informatica, Universitą di Torinotop

• linguaggi formali e traduttori (A.A. 2012/2013)
• linguaggi e paradigmi di programmazione (A.A. 2012/2013)
  • risorse aggiuntive su programmazione funzionale in Haskell
• linguaggi formali e traduttori (A.A. 2011/2012)
• linguaggi e paradigmi di programmazione (A.A. 2011/2012)
  • risorse aggiuntive su programmazione funzionale in Haskell
• basi di dati e laboratorio (A.A. 2009/2010)
• basi di dati e sperimentazioni (A.A. 2009/2010)

Corso di Laurea in Informatica Applicata, Universitą di Urbinotop

• linguaggi di programmazione e compilatori (A.A. 2009/2010)
  • dispense su programmazione funzionale in Haskell
• linguaggi di programmazione e compilatori (A.A. 2008/2009)
• linguaggi di programmazione e compilatori (A.A. 2007/2008)
• linguaggi di programmazione e compilatori (A.A. 2006/2007)
• linguaggi di programmazione e compilatori (A.A. 2005/2006)
• linguaggi di programmazione e compilatori (A.A. 2004/2005)
• linguaggi di programmazione e compilatori (A.A. 2003/2004)

Corso di Laurea in Informatica Applicata (percorso on-line), Universitą di Urbinotop

• programming languages and compilers (A.A. 2009/2010)
• programming languages and compilers (A.A. 2008/2009)
• programming languages and compilers (A.A. 2007/2008)
• programming languages and compilers (A.A. 2006/2007)
• logics (A.A. 2006/2007)
• logics (A.A. 2005/2006)

Master Almaweb su Tecnologia del Software Libero e Open Sourcetop

• fondamenti di informatica (A.A. 2009/2010)
• fondamenti di informatica (A.A. 2008/2009)
• fondamenti di informatica (A.A. 2006/2007)
• fondamenti di informatica (A.A. 2005/2006)
• fondamenti di informatica (A.A. 2004/2005)

Corso di Laurea in Informatica, Universitą di Bolognatop

• laboratorio di programmazione (A.A. 2004/2005)
• laboratorio di progettazione Sistemi Software (A.A. 2002/2003)
• laboratorio di programmazione - esercitazioni Java (A.A. 2002/2003)
• linguaggi di programmazione - linguaggio C (A.A. 2000/2001)
• linguaggi e compilatori - programmazione funzionale in OCaml (A.A. 2000/2001)
• linguaggi e compilatori - programmazione funzionale in OCaml (A.A. 1999/2000)
• linguaggi formali e compilatori - programmazione concorrente con Join-Calculus (A.A. 1997/1998)

Supervisione tesi di laureatop

• Andrea Tosatto, Types for Leak Detection in a Session-Oriented Functional Programming Language (Corso di Laurea Triennale in Informatica, Universitą di Torino, A.A. 2011/2012)
• Chiara Messa, MiniSing#: un modello formale di Sing# basato su session type e ownership type (Corso di Laurea Magistrale in Informatica, Universitą di Torino, A.A. 2009/2010)
• Filippo Silvestri, Misura della similaritą di programmi funzionali mediante isomorfismi di tipi (Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 2008/2009)
• Iacopo Pazzaglia, Implementazione di un linguaggio funzionale in un linguaggio ad oggetti puro (Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 2008/2009)
• Marco Tagnani, Minimizzazione di tipi comportamentali per servizi Web (Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 2007/2008)
• Nicola Rossi, Gestione di glifi composti in un tool per la resa di documenti MathML (Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 2006/2007)
• Paride Dominici, Analisi e implementazione di costrutti linguistici per la generazione di siti Web dinamici (Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 2006/2007)
• Alessandro Appeddu, Composizione ed elaborazione di documenti MathML e SVG (Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 2006/2007)
• Gabriele Damia Paciarini, Type checking di attributi XML in PiDuce (Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 2006/2007)
• Andrea Spagnolo, Analisi e implementazione di un algoritmo di pattern matching in PiDuce (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2004/2005)
• Marco Querzč, Formattazione di tabelle MathML: specifica ed implementazione (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2004/2005)
• Alessandro Ranocchini, Sviluppo di un componente grafico per la resa di testo strutturato (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2004/2005)
• Pouria Masoudi, CORBA Implementation of an Interactive Component for MathML (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2003/2004)
• Francesco Caroti, Progetto e sviluppo di stylesheet modulari per la presentazione di markup matematico (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2003/2004)
• Paolo Casarini, Sviluppo di una implementazione DOM (moduli Core ed Events) (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2000/2001)

Supervisione tirocinitop

• Nicola Rossi, Backend PostScript per GtkMathView (Corso di Laurea in Informatica Applicata, Universitą di Urbino, A.A. 2006/2007)
• Gabriele Damia Paciarini, Supporto di attributi XML in PiDuce (Corso di Laurea in Informatica Applicata, Universitą di Urbino, A.A. 2006/2007)
• Marco Querzč, Formattazione di tabelle MathML: specifica ed implementazione (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2004/2005)
• Alessandro Ranocchini, Sviluppo di un componente grafico per la resa di testo strutturato (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2004/2005)
• Pouria Masoudi, Supporto alla formattazione di simboli matematici in una libreria per il layout di testo Unicode (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2002/2003)
• Paolo Marinelli, Sviluppo di un editor interattivo per formule matematiche codificate in MathML (Corso di Laurea in Informatica, Universitą di Bologna, A.A. 2002/2003)

Progetti disponibili (per tesi e tirocini)top

Segue una lista di argomenti correlati ai miei interessi di ricerca e ai pacchetti software che sviluppo (la lista non č sempre aggiornata e nemmeno completa) sui quali sono disponibili tesi o tirocini. Per ulteriori informazioni, gli studenti interessati possono contattarmi via email o presentarsi durante gli orari di ricevimento.

Nota: lo svolgimento di una tesi di laurea richiede tempo e impegno. La sola scrittura della relazione finale solitamente richiede un mese di lavoro a tempo pieno. Pertanto, consiglio agli studenti interessati di contattarmi con congruo anticipo, indicativamente 5 mesi, rispetto alla data prevista per la laurea.

• Tipi comportamentali: sviluppo di teorie di tipi comportamentali per la verifica di proprietą di safety e liveness in programmi concorrenti e/o distribuiti.
• Linguaggi funzionali: supporto all'overloading in linguaggi funzionali con type inference (compilazione di type classes). [Carbon]
• Compilatori: compilazione efficiente di un linguaggio funzionale con polimorfismo in un linguaggio a oggetti tipato.

about this page top

• to reduce visual clutter many hyperlinks (like this) are highlighted only when hovering over them.

CHECK LINKS

last updated Sat May 18 15:37:04 CEST 2013 on uria