Linee di ricerca

Modelli di automi e serie formali

  • Complessità descrizionale dei linguaggi
  • Automi quantistici e probabilistici
  • Proprietà locali e di periodicità dei linguaggi
  • Automi a contatore
  • Sincronizzazione e congettura di Cerny
  • Automi cellulari e dinamiche simboliche

 

Combinatoria delle parole e codici

  • Parole Sturmiane e periodicità
  • Codici a lunghezza variabile
  • Trasformata di Burrows-Wheeler
  • Codifica con dizionari symbolwise

 

Grammatiche e sistemi sintattici

  • Linguaggi di parentesi e visibly pushdown
  • Analisi sintattica parallela
  • Linguistica computazionale
  • Sistemi splicing

 

Generazione, enumerazione e compressione di strutture combinatorie

  • Proprietà d’ordine di strutture
  • Ricostruzione di alberi evolutivi
  • Strutture e linguaggi bidimensionali
  • Compressione e analisi di dati massivi
  • Generazione esaustiva