Diplômée d’un Master Modèles, Optimisation, Programmations et Services, je possède une formation dans le domaine de la recherche informatique, qu’une spécialisation en Algorithmique a renforcée. Ce cursus scientifique m’a permis de développer de solides compétences en spécifications formelles, en validation et en tests, me permettant ainsi d’avoir une approche complète de la conception des systèmes d’information logiciels.
Mes compétences :
Algorithmique
Génie logiciel
Méthodes Formelles
Validation & Vérification