Laboratorio
di Informatica di base
"Luigi Federico Menabrea"
Argomenti di ricerca:
• Semantica dei linguaggi di programmazione
• Gerarchie di complessità
• Programmazione funzionale
• Teoria della dimostrazione
• Metodi formali HCI
Responsabile:
• Dott. Covino Emanuele (Ricercatore)