RAISE Dr. Leonardo Picchiami, Ph.D.
Post-doc research fellow at Department of Computer Science, Sapienza University of Rome
Via Salaria 113, 00198 Rome, Italy
Floor 3, room 312
picchiami@di.uniroma1.it
Recent research publications
Simulation-Based Design of Industry-Size Control Systems with Formal Quality Guarantees
Marco Esposito, Alberto Leva, Toni Mancini, Leonardo Picchiami, Enrico Tronci.
IEEE Transactions on Industrial Informatics, 2025.
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
Leonardo Picchiami, Maxime Parmentier, Axel Legay, Toni Mancini, Enrico Tronci.
Elsevier Journal of Systems and Software, 2024.
Research projects
SIATE
A Decision Support System based on AI for the personalization of the hemodialysis therapy (Collaborative project, Italian PNRR fund)
Current teaching activity
Formal Methods for AI-based Systems Engineering
Course taught within the Master programme in Computer Science at Sapienza University of Rome.
Artificial Intelligence for Personalised In Silico Medicine
Honour Programme (Percorso di eccellenza) within the Master and Bachelor programmes in Computer Science and the Bachelor programme in Applied Computer Science and Artificial Intelligence at Sapienza University of Rome.
AI for Design and Verification of Safety/Mission Critical Intelligent Systems
Activity (Attività Formativa Complementare, AFC) offered within the Master programme in Computer Science at Sapienza University of Rome.