Baptiste PELLETIER - Admis au titre de docteur

Adresse Professionnelle
10 avenue Marc Pélegin 31000
TOULOUSE FRANCE
baptiste_pelletier_jv71@yahoo.fr
Identifiant ORCID 000000025002337X
Compte LinkedIn https://www.linkedin.com/in/baptiste-pelletier-357b87166/
En recherche d'emploi
Disponibilité : novembre 2024 - Je recherche des opportunités en robotique spatiale, ou à défaut en robotique autonome pour l'exploration d'environnement.
Mobilité : Europe

Projet professionnel :

Enseignement et recherche, enseignement supérieur
Recherche en milieu académique
Recherche en entreprise, R&D du secteur privé
Expertise, études et conseils dans des organisations, cabinets ou sociétés fournissant des prestations intellectuelles, des expertises scientifiques, prospectives ou stratégiques
Médiation scientifique, communication et journalisme scientifique, édition scientifique, relations internationales
enseignant-chercheur, enseignant du supérieur
chercheur en milieu académique
chercheur en entreprise, R&D du secteur privé
pilotage de la recherche et de l’innovation, gestion de projets innovants, pilotage de structures innovantes
expertise, études et conseils dans des organisations, cabinets ou sociétés fournissant des prestations intellectuelles, des expertises scientifiques, prospectives ou stratégiques
médiation scientifique, communication et journalisme scientifique, édition scientifique, relations internationales

Expérience professionnelle :
CDD du 6 janvier 2025 au 1 avril 2024
Domaine d'activité : Robotique, informatique
Type de contrat : Contrat post-doctoral en université
Fonction exercée : Post-doctorat
Secteur d'emploi : Université, Etablissement d'enseignement supérieur
Unité de recherche ou entreprise : DCAS - ISAE-SUPAERO
Toulouse - FRANCE

Doctorat Robotique

Thèse soutenue le 9 janvier 2025 - Institut Supérieur de l'Aéronautique et de l'Espace

Ecole doctorale : SYSTEMES

Sujet : Méthodes formelles pour la programmation et l’analyse de comportements robustes des systèmes autonomes

Mots-clés de la thèse : Robotique,Systèmes à évènements discrets,Méthodes formelles,

Direction de thèse : Charles LESIRE-CABANIOLS

Co-direction de thèse : Karen GODARY-DEJEAN

Unité de recherche : ISAE-ONERA DECISIO DECIsion, Supervision et Interaction pour l'Opération de systèmes complexes - TOULOUSE

Ingénieur - Mécanique et aérotechnique

obtenu en septembre 2021 - ISAE-ENSMA
Option : Pas de spécialité

Production scientifique

- Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant 2023. Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets 2023 IEEE International Conference on Robotics and Automation (ICRA), pp 10580-10586, https://doi.org/10.1109/ICRA48891.2023.10160434
- Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, Charles Dramé-Maigné 2022. SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems Proceedings FMAS2022, EPTCS 371, 2022, pp. 120-138, https://doi.org/10.48550/arXiv.2209.14039

Dernière mise à jour le 10 mars 2025