Roberto Medina
I am currently a Senior Research Engineer at Huawei Technologies.
My research interests are in the design, analysis and verification of Real-Time Embedded Systems.
Previously I was a research and development engineer at Expleo,
working on in-house projects related to autonomous and adaptive driving.
Between 2019 and 2020, I worked as a post-doctoral researcher at the National Institute for
Research in Computer Science and Control (Inria) in the Kopernic team.
I prepared my Ph.D. at Télécom ParisTech focusing on safety-critical data-driven applications incorporating the mixed-criticality model.