Logo Università degli Studi di Milano



 
 

LALALab - Languages, Algebraic Logic, and Automata  

LALALab - Languages, Algebraic Logic, and Automata

Description

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.

Scientific responsible

Giovanni Pighizzini

Concacts

Via Comelico 39/41, 20135 Milano

Members

Structured members:

Stefano Aguzzoli

Beatrice Palano

Giovanni Pighizzini

 

Unstructured members:

Pietro Codara, assegnista INDAM

Bruno Guillon, assegnista

Luca Prigioniero, dottorando

Diego Valota, assegnista

Back to top