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
- Contatti
-
via Celoria 18, 20133 Milano
Stanza 5022, piano 5
telefono
+39.02.503.16312 - Membri
-
Membri strutturati:
Membri non strutturati:
Luca Prigioniero (assegnista)
Caterina Feletti (dottorando)
Priscilla Raucci (dottorando)
Matteo Bianchi (volontario frequentatore)