IVANO SALVO

Primo semestre 2025/26:
 
* Informatica Generale (primo canale (A-K), Laurea Triennale in Matematica)
Sito del corso: https://twiki.di.uniroma1.it/twiki/view/Info_gen/InfoGenAI2021
Lezioni (Castelnuovo, CU006):
Lunedì 15-18 aula Volterra.
Martedì 13-15 aula Volterra.
Mercoledì 16-18 aula Volterra (prof. Adolfo Piperno).
 
Gli studenti sono invitati a iscriversi al classroom:
InfoGen 25/26 A-K, codice: wmrdkvjd
https://classroom.google.com/c/MjM1MjA3OTM0OTFa?cjc=wmrdkvjd

 
* Linguaggi di Programmazione (Laurea Triennale in Matematica)
 
Le lezioni cominciano regolarmente giovedì 25 settembre 2025.
Sito del corso: https://twiki.di.uniroma1.it/twiki/view/LDPMat/WebHome
Lezioni: Aula B – Castelnuovo, Giovedì 9-12.
 
Gli studenti sono invitati a iscriversi al google classroom:
LdPMat25, codice 2uvho2al
https://classroom.google.com/c/MjM1MjA4MTA5NDFa?cjc=2uvho2al

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)
 

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).