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:

• Implementazione ad oggetti in C++ per l'aggregate computing
• Ricerca di algoritmi per l'aggregate computing
• Implementazione/ricerca di costrutti per l'aggregate computing
• Implementazione/ricerca di trasformazioni di segnali audio
• Ricerca di algoritmi per l'ottimizzazione di strutture dati compresse