Proposte di Tesi
(Informatica magistrale, Informatica Specialistica, Sci.Informazione, Informatica Quinquennale)
e Progetti Finali
(Informatica Triennale))

Informatica Musicale

• Progettazione e sviluppo di Score Sound, software di scrittura per musica elettroacustica
  (in collaborazione con il M. Massimo Carlentini)
  Sito web del progetto.
  
  
• Formalizzazione implementazione e sperimentazione della teoria del fraseggio di Antony Pay.
  (in collaborazione con A.Pay)
  Abstract del progetto.
  
  
• Tipi per linguaggi per la Computer Aided Composition (ELODY ed altri) e l'elaborazione audio: Esistono? cosa sarebbero? potrebbero essere utili?
  

Teoria dei Giochi e Logica

Implementazione di applets (o di interfaccie grafiche di applets gia' esistenti) per la simulazione di giochi che interpretano dimostrazioni formali.

Si puo' dare un'interpretazione della logica in termini di teoria dei giochi.
Un progetto di ricerca sta studiando particolari interpretazioni.
Un sito presenta tali studi, insieme ad una panoramica delle interpretazioni gia' esistenti.
Sono state sviluppate da una vostra collega catanese varie applets per "animare" le varie interpretazioni.
E' possibile ora:
A. estendere queste applets in modo che l'utente possa inserire la formula su cui "giocare" (al momento le applets lavorano solo su alcuni esempi predefiniti).
B. lavorare sulla grafica per le interfacce alle applets gia' esistenti, in modo da renderle piu' utili come strumento di comprensione delle varie interpretazioni della lagica in teoria dei giochi.

Fondamenti di Informatica

• Sviluppo di animazioni grafiche su rete rivolte all'esemplificazione di argomenti relativi ai fondamenti dell'informatica.

Gli azzeccagarbugli del XXI secolo.

Giochi in Java.

Presentazione di argomenti scientifici.

Wikipedia.