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, 20133 Milano
Stanza 5022, piano 5

telefono
+39.02.503.16312

Membri

Membri strutturati:

Stefano Aguzzoli

Matteo Bianchi

Carlo Mereghetti

Beatrice Palano

Giovanni Pighizzini

 

Membri non strutturati:

Caterina Feletti (dottorando)

Priscilla Raucci (dottorando)

 

Torna ad inizio pagina