IVANO SALVO

Secondo semestre 2024/25:

* Tecniche di Programmazione Funzionale e Imperativa (Laurea Triennale in Informatica)
 

Sito del corso: https://twiki.di.uniroma1.it/twiki/view/TPFI/WebHome

Gli studenti sono gentilmente invitati a iscriversi al classroom TPFI-25,
link: https://classroom.google.com/c/MjEyMzY0Nzg0MTVa?cjc=itdft22

codice itdft22 usando il proprio account istituzionale Sapienza (@studenti.di.uniroma1.it).

Le lezioni saranno: 

giovedì 11-13 in aula 2L Castro Laurenziano, e

venerdì 12-15 in aula Magna, viale Regina Elena 295, palazzina C (RM111)

Le lezioni cominceranno regolarmente giovedì, 27 febbraio 2025.

* Esercitazioni di Progettazione di Algoritmi (Laurea Triennale in Informatica)
 

Sito del corso: https://twiki.di.uniroma1.it/twiki/view/Algoritmi2/WebHome

(vedi pagina prof. Angelo Monti per informazioni più dettagliate)

Primo semestre 2024/25:

Lezioni (Castelnuovo, CU006):

Martedì 17-19 aula Volterra.

Mercoledì 16-18 aula Volterra (prof. A. Piperno)

Venerdì 13-16 aula Volterra.

Gli studenti sono invitati a iscriversi al classroom:

InfoGen 24/25 A-K, codice: 7u5ivxe

* Linguaggi di Programmazione (Laurea Triennale in Matematica)

Le lezioni cominciano regolarmente martedì 1 ottobre.

Sito del corso: https://twiki.di.uniroma1.it/twiki/view/LDPMat/WebHome

Lezioni: Aula F – Castelnuovo, Martedì 9-12 (si comincia in aula B, causa perdurare lavori).

Gli studenti sono invitati a iscriversi al google classroom:

LdPMat24, codice apkja7r

Short CV of Ivano Salvo

Current position:
Associate Professor at the Computer Science department,
Sapienza University of Rome.

Former positions:
Post-Doc at ENS (Paris), 2002.
Post-Doc at University of Torino, 2000-2001.

Education:
PhD in Computer Science from Sapienza University of Rome (2000).
Degree in Computer Science from University of Udine (1995).
He attended several summer school in Computer Science (Marktoberdorf (1998,1999), Lipari (2001), Edinburgh (2000)).

Research Interest:
Theory of Programming Languages
(Lambda calculus [BPS03], Type Theory [DS01], Functional Programming [SP18a, SP18b]),
Formal Methods for Software Verification (Model Checking, Hybrid Systems [AMMST17,MMST1,AMMST13, AMMST12,MMST12]),
Systems Biology [MTS+15,TMS+14], Algorithmic Game Theory [CGS18,CGS19a,CGS19b].

Research Project:
Involved in EU FP7 projects (EC FP7 SmartHG (EC FP7, 317761)
EC FP7 PAEON (EC FP7, 600773), ULISSE (EC FP7, GA218815), MyTHs (FET Global Computing)), as well as MIUR PRIN projects (TOSCA, NaPoLi, TRAMP).

Selected recent papers:
2019:
[CGS19a]
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs.
Algorithmica 81(4): 1535-1560 (2019)

[CGS19b]
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
Depletable channels: dynamics, behaviour, and efficiency in network design.
Acta Inf. 56(5): 405-431 (2019)2018:

[CGS18]
P. Cenciarelli, D. Gorla, I. Salvo.
Inefficiencies in network models: A graph-theoretic perspective.
Information Processing Letters, 131: 44-50 (2018)

[SP18a]
Ivano Salvo, Agnese Pacifico:
Computing Integer Sequences: Filtering vs Generation (Functional Pearl).
CoRR abs/1807.11792 (2018)

[SP18b]
Ivano Salvo, Agnese Pacifico:
Three Euler's Sieves and a Fast Prime Generator (Functional Pearl). CoRR abs/1811.09840 (2018)

2017:
[AMMST17] V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, E. Tronci.
Linearizing Discrete-Time Hybrid Systems.
IEEE TAC, 62(10):5357-5364 (2017).

2015:
[MTS+15]
T. Mancini, E. Tronci, I. Salvo, F. Mari, A. Massini, I. Melatti.
Computing Biological Model Parameters by Parallel Statistical Model Checking.
IWBBIO15, pag. 542–554 (2015).

2014:
[MMST14]
F. Mari, I. Melatti, I. Salvo, E. Tronci.
Model Based Synthesis of Control Software from System Level Formal Specifications.
In ACM TOSEM, 23(1), pag. 6:1-42 (2014).

[TMS+14]
E. Tronci, T. Mancini, I. Salvo, F. Mari, I. Melatti et al.
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records.
In FMCAD14, pag. 207-214 (2014).

2013:
[AMMST13] V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, E. Tronci.
On-the-Fly Control Software Synthesis.
In SPIN13, pag. 61-80 (2013).

2012:
[AMMST12] V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, E. Tronci.
On model based synthesis of embedded control software.
In EMSOFT12, pagg. 227-236, 2012.

[MMST12] F. Mari, I. Melatti, I. Salvo, E. Tronci.
Undecidability of Quantized State Feedback Control
for Discrete Time Linear Hybrid Systems.
In ICTAC12 pagg. 243-258 (2012).

[BPS03] A. Bucciarelli, A. Piperno, I. Salvo.
Intersection Types and Lambda Definability.
In Mathematical Structures in Computer Science, 13(1):15-53 (2003).

[DS01] M. Dezani, I. Salvo.
Security Types for Mobile Safe Ambients.
in ASIAN00, pag. 215-236 (2000).

Teaching activity (selected):
Bachelor Courses (Informatica Generale, Linguaggi di Programmazione (Matematica), Programmazione a Oggetti, Metodologie di Programmazione).
Master Courses (Verifica Automatica, Modelli di Calcolo, Tecniche di Sicurezza Basate sui Linguaggi).