M. François VERNADAT
HDR

Consulter la fiche

francois@laas.fr
http://homepages.laas.fr/francois
0561336265

UPR 8001 - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Equipe : TRUST - Trustworthy systems: Foundations and practices

Spécialité : Informatique et Télécommunications

Encadrement :

• 4 thèses soutenues / soutenances à venir (1 personne ne souhaite pas figurer sur internet)

Nicolas AMAT -
Savoir faire :
Méthodes formelles, Model-Checking, Réseaux de Petri, Résolution SAT/SMT, Logique, Preuve Assistée par Ordinateur (Isabelle/HOL)

Expérience professionnelle
Employeur : IMDEA Software Institute - Madrid - ESPAGNE
Fonction : Postdoctoral researcher
contrat : 1 novembre 2023 - 31 octobre 2026

Spécialité : Informatique et Télécommunications

Sujet de thèse : Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri

Mot-clés : Vérification de modèles,Problèmes d'accessibilité,Réseaux de Petri,Réductions structurelles,Techniques d'abstraction,Résolution SMT,

Profil mis à jour le 21 novembre 2023  

Fan LI - Spécialité : Génie industriel (AM)

Sujet de thèse : Evaluation de la performance et aide a la décision pour la gestion de systèmes industriels : méthodologie basée sur benefice-coût-valeur-risque

Mot-clés : Systèmes industriels,Gestion de la performance,Mesure de la performance,Aide à la décision,Gestion de projet,Ingénierie des systèmes,

Profil mis à jour le 10 juillet 2017  

Pierre-alain BOURDIL -
Compétences :
Développement d'applications web ( PHP, J2EE)
Responsabilités techniques : Maintenance, migration, validation, architecture, avancement, planification, gestion d'équipe.
Définition de processus de développement.

Savoir faire :
Modélisation : UML
Langage : JAVA, PHP5, Js, HTML, XHTML, CSS, SQL, XSLT, shell, XPATH
Outils : Eclipse, Eclipse Pdt, Zend debugger, PHPDocumentor, LAMP, BIRT, Subversion, Git
Sgbd : Mysql, Postgres
Serveurs(Logiciels) : Apache, Tomcat, Nginx
Tests: PHPUnit, JUnit.
Autres : Xtext




Expérience professionnelle
Employeur : Scalian - Toulouse
Fonction : Responsable scientifique R&D
contrat :

Spécialité : SURETE DE LOGICIEL ET CALCUL DE HAUTE PERFORMANCE

Sujet de thèse : Contribution à la modélisation et la vérification formelle par model-checking -- Prise en compte des symétries dans l'analyse des Réseaux de Petri Temporels

Mot-clés : méthodes formelles,symétries,model-checking,systèmes critiques,

Profil mis à jour le 02 mars 2016