Salvatore La Torre

Dipartimento di Informatica ed Applicazioni
Università degli Studi di Salerno

Address: Dipartimento di Informatica ed Applicazioni - 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.

Tools

GetaFix (symbolic model-checker for recursive programs)

Conferences

GandALF 2010

Teaching (In Italian)

Presentazione Corso di Laurea in Informatica

Orario ricevimento studenti

Corsi attivi:

Metodi per la Verifica Automatica dei Sistemi, Secondo Semestre 2009/10.
Laboratorio di Informatica, Secondo Semestre 2008/09.
Linguaggi di Programmazione II, Secondo Semestre 2008/09.
Programmazione II, Primo Semestre 2009/10.