Salvatore La Torre

Dipartimento di Informatica
Università degli Studi di Salerno

Address: Dipartimento di Informatica - Via Ponte Don Melillo, 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 (from DBLP).
Curriculum Vitae.

GetaFix (symbolic model-checker for recursive programs)
Logics in Computer Science (research project)
GandALF 2011

Teaching (In Italian)

Presentazione Corso di Laurea in Informatica

Orario ricevimento studenti

Corsi attivi:

Programmazione II, Primo Semestre 2011/12.
Verifica di Programmi 1, Primo Semestre 2011/12.