Professeur des Universités à l'Université d'Auvergne
Responsable d'une licence professionnelle orientée "Web".
Thèmes de recherche:
Software engineering, validation, test, sécurité
Test basé modèle, testabilité : test de conformité et de robustesse de systèmes temporisés, réactifs, de compositions de Services,
Test de sécurité d?applications Mobiles, de compositions de services,
Test automatique: test de composition de services Web, de clients riches (conformité, robustesse, sécurité) dans des environnements à accès restreints (Clouds, etc.). Conception d?outils.
Inférence de modèles, pour systèmes industriels, pour applications Mobiles. Utilisation de systèmes experts.
Plus d'informations ici: http://sebastien.salva.free.fr/
Pas de formation renseignée