Stéphanie Challita
Experte Recherche - France - Provence-Alpes-Côte d'Azur - Sophia Antipolis
Fonction principale
Chercheure postdoctorale
Organisme
Institut national de recherche en informatique et en automatique (Inria)
Ville de l’organisme
Sophia Antipolis
Langues parlées
Français
Contact pro
Contact perso
email@example.com
01 23 45 67 89
Identifiez-vous pour accéder à cette information.
ou
Inscrivez-vous
Réseaux sociaux
Réseau(x)
Date de mise à jour
6 septembre 2022Biographie
Stéphanie Challita est chercheure postdoctorale à Inria Sophia Antipolis - Méditerranée au sein de l’équipe Kairos. Elle a obtenu son doctorat en informatique de l'Université de Lille en 2018. Elle a préparé sa thèse à Inria Lille - Nord Europe au sein de l'équipe Spirals. Sa thèse porte sur la déduction automatique de modèles à partir d'APIs de Cloud et le raisonnement sur ces modèles. Ses domaines de recherche sont l'informatique en nuage, l'Internet des objets, l'ingénierie dirigée par les modèles et les méthodes formelles.
Publications
-
- 2018
Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the fclouds Formal Language.
11th IEEE International Conference on Cloud Computing (CLOUD). San Francisco, California, USA