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.
Curriculum Vitae.
Teaching (In Italian)
Presentazione Corso di Laurea in Informatica
Orario ricevimento studenti
Corsi attivi:
