Fraire Juan Andrés
Visit duration time (from – to): 01 July 2019 - 31 December 2019
Affiliation: National University of Córdoba
Host Department: DET - Department of Electronics and Telecommunications
Coordinator at Polito: ANDREA BIANCO
As a visiting professor in the Politecnico di Torino, Juan A. Fraire will collaborate with the Department of Electronics and Telecommunications (DET) with teaching and research activities in the domain of space and satellite networking. On the one hand, the postgraduate course “Space Informatics and Networking” is planned with a duration 40 hs, including 20 hs of lectures and 20 hs of guided tutorials and hands-on practices. The course curricula covers space dynamics, technologies, sample systems and current trends, networking protocols and algorithms as well as the in-depth discussion of model and algorithmic approaches for automated planning and operations. On the other hand, a research project on the same line than the course is on the agenda. Models and algorithms will be developed for automated operations of large space networks as those expected in the next decade. In this context, state-of-the-art formal methods based on Optimization Modulo Theories (OMT), Stochastic Model Checking (SMC) and Probabilistic Model Checking (PMC), which are within the expertise of the hosting department, will be leveraged.