IMT School
IMT School
Cybersecurity, Penetration Testing, Formal Methods, Software Verification, Vulnerability Assessment
(Google Scholar)IMT School
Software Security, Software Verification, Formal Methods, Programming Languages (Google Scholar)IMT School
IMT School
IMT School
Physical Layer Security, 6G Security,IMT School
IMT School
IMT School
Global Optimization, Robust Optimization, Optimal Control(Google Scholar)IMT School
Alberto Bemporad, IMT Lucca (Program Coordinator)
Alessandro Abate, University of Oxford
Luca Cardelli, University of Oxford
Gabriele Costa, IMT Lucca
Irene Crimaldi, IMT Lucca
Rocco De Nicola, IMT Lucca
Moritz Diehl, Albert-Ludwigs-Universität Freiburg
Tiziana Di Matteo, King’s College London
Daniele Dini, Imperial College London
Filippo Fabiani, IMT Lucca
Angelo Facchini, IMT Lucca
Diego Garlaschelli, IMT Lucca
Tommaso Gili, IMT Lucca
Alessio Gizzi, Università "Campus Bio-Medico" di Roma
Giorgio Stefano Gnecco, IMT Lucca
Pietro Lenarda, IMT Lucca
Corrado Maurini, Sorbonne Université
Andrea Mola, IMT Lucca
Marco Paggi, IMT Lucca
Paolo Prinetto, IMT Lucca/Politecnico di Torino
José A. Reinoso Cuevas, Universidad De Sevilla
Tiziano Squartini, IMT Lucca
Mirco Tribastone, IMT Lucca
Luca Viganò, King’s College London
Mario Eduardo Villanueva, IMT Lucca
Mario Zanon, IMT Lucca