Argomenti di ricerca

Logica Matematica

  • Tecniche nonstandard (alla A. Robinson), principalmente in analisi funzionale e aree collegate.
  • Sistemi di prova per logiche del tempo lineare e ramificato.
  • Estensioni della logica continua mediante operatori modali. Logiche a valori reali non limitati.
  • Divulgazione di argomenti fondazionali in matematica.

Informatica Teorica

  • Calcoli di processi e teoria della concorrenza.
  • Linguaggi per contratti, orchestrazione di sistemi distribuiti (sfruttando logiche, automi, strutture di eventi, o calcoli di processi).
  • Teoria dei linguaggi di programmazione.
  • Analisi statica (sistemi di tipi, systemi di tipi ed effetti, analisi control flow, intepretazione astratta).

Staff