AUDRITO GIORGIO

Assegnista
Settore scientifico disciplinare: 
INFORMATICA (INF/01)
photo.research.0.jpg
Telefono: 
n/d
Cellulare: 
n/d
Fax: 
n/d

Strutture di riferimento

Sede: 
INFORMATICA
Struttura di afferenza: 
Dipartimento di Informatica

Attività didattica

Attività scientifica

La mia attività di ricerca si divide in questi campi:

  • Aggregate computing: ricerca di algoritmi efficienti e tecniche di programmazione per lo "spatial computing", cioè computazione parallela e non supervisionata basata su dati e dispositivi localizzati.
  • Giochi su grafi: ricerca di algoritmi efficienti per la soluzione di giochi infiniti su grafi, come i parity games e i mean-payoff games.
  • Programmazione dinamica: ricerca di nuove tecniche per fare "speedup" di algoritmi ricorsivi, assumendo che le funzioni costo associate soddisfino certe proprietà meno restrittive possibile (per esempio, estensioni della disuguaglianza di Monge).

Altre aree di ricerca su cui ho lavorato in passato sono:

  • Strutture dati compresse: progettazione di strutture dati in grado di ottimizzare sia spazio occupato che velocità di accesso ai dati. 
  • Teoria degli insiemi pura: ricerca di nuovi assiomi che consentano di dimostrare più teoremi possibile, tramite forcing e grandi cardinali.
  • Analisi di segnali: trasformazioni di segnali per calcolare qualità oggettive e soggettive di un suono.

Proposte di tesi per studenti interessati, per tipologia di impegno: