Salvatore La Torre


Dipartimento di Informatica
Università degli Studi di Salerno

Address: Dipartimento di Informatica - Via Giovanni Paolo II, 132 - 84084 Fisciano (SA) - ITALY
Phone: +39 089 969 726
Fax: +39 089 969 600
Email:


Research

Formal aspects of system specification, analysis and synthesis. Formal languages, automata theory, real-time systems, hybrid systems, temporal logic, game theory.

List of publications: DBLP, Google scholar.


Teaching (In Italian)

Presentazione Corso di Laurea in Informatica

Orario ricevimento studenti

Corsi attivi: