Logo Università degli Studi di Milano



 
 

LALALab - Linguaggi, Automi, Logica Algebrica  

LALALab - Linguaggi, Automi, Logica Algebrica

Descrizione

Le attività di ricerca del laboratorio sono prevalentemente incentrate su due aree:  Linguaggi Formali e Automi, Logica Algebrica.  Da una parte, le attività inerenti l’area di Linguaggi Formali e Automi si focalizzano sullo studio di diversi modelli formali, quali, ad esempio, grammatiche, automi a stati finiti e loro estensioni, sia dal punto di vista della complessità descrizionale che computazionale. D’altra parte, la ricerca nell’ambito della Logica Algebrica è dedicata alle semantiche algebriche e categoriali delle logiche non-classiche verofunzionali, con particolare attenzione agli aspetti interpretativi, combinatoriali e di complessità computazionale.

Responsabile scientifico

Giovanni Pighizzini

Contatti

Via Celoria, 18 - Milano

Stanza: 5022

Membri

Membri strutturati:

Stefano Aguzzoli

Beatrice Palano

Giovanni Pighizzini

 

Membri non strutturati:

Matteo Bianchi, volontario frequentatore

Matteo Bodini, dottorando

Pietro Codara, volontario frequentatore

Luca Prigioniero, dottorando

Diego Valota, assegnista

Torna ad inizio pagina