Nicolas Baudru

Home page

Contact

Maître de conférences en Informatique à Aix-Marseille Université, j'effectue mes enseignements au département Informatique de Polytech Marseille (ex Ecole Supérieure d'Ingénieurs de Luminy (ESIL)), et ma recherche au sein de l'équipe Modélisation et Vérification (MoVe) du Laboratoire d'Informatique et Systèmes (LIS - UMR CNRS 7020).

Voici une vue aérienne de mon lieu de travail, à Luminy, aux pieds des calanques de Marseille :

[photo]

Pour me contacter par lettre, téléphone, mail, ou même en vrai !

[photo] Nicolas Baudru
Polytech Marseille
Département Informatique
Parc scientifique et technologique de Luminy
163 avenue de Luminy
Case 925 - 13288 Marseille Cedex 09

Plan d'accès

Tél : +33 (0)4 91 82 85 59
[adresses]

Quelques liens :

Enseignements

Formation HUGo

HUGo image

Depuis janvier 2017, je suis très impliqué dans le projet HUGo. Ce projet, initié par Philippe Dumas, alors directeur de Polytech Marseille, a pour objectif la création d’un programme de formation qui vise à favoriser l’employabilité des personnes en situation de handicap.

Avec Alexis Bonnecaze, responsable de la première promotion HUGo, et Nicolas Durand, nous avons conçu la première offre de formation par alternance HUGo. Nous avons aussi assuré, et assurons encore, une grosse partie des enseignements de la première année de cette formation.

Actuellement, le responsable de la formation HUGo est Alain Samuel.

Plus de détail sur le projet HUGo ici.

Pour accéder à la page d'enseignement HUGo, cliquez ici

Formation initiale

Recherche

Thèmes de recherche

Mes recherches se situent dans le cadre de la construction et de la vérification de systèmes complexes tels que les systèmes distribués. Je m'intéresse principalement aux différents modèles de la concurrence tels que les automates asynchrones (ou automate de Zielonka), les automates communicants (CFMs) ou les réseaux de Petri.

Publications

Revues - Conférences - Rapports de recherche - Thèse

Revues
  1. On the Construction of the Asymmetric Chudnovsky Multiplication Algorithm in Finite Fields Without Derivated Evaluation S. Ballet, N. Baudru, A. Bonnecaze and M. Tukumuli. CC. R. Acad. Sci. Paris., 2017.
  2. Compositional synthesis of asynchronous automata Nicolas Baudru Theor. Comput. Sci. 412(29): 3701-3716 (2011)
Conférences internationales
  1. From Two-Way Transducers to Regular Function Expressions [pdf] Nicolas Baudru DLT'18
  2. Distributed Asynchronous Automata [pdf] Nicolas Baudru CONCUR'09
  3. Synthesis of Safe Message-Passing Systems [pdf] Nicolas Baudru and Rémi Morin FSTTCS'07
  4. The Synthesis Problem of Netcharts [pdf] Nicolas Baudru and Rémi Morin ATPN'06
  5. Unfolding Synthesis of Asynchronous Automata [pdf] Nicolas Baudru and Rémi Morin CSR'06
  6. The pros and cons of netcharts [pdf] Nicolas Baudru and Rémi Morin CONCUR'04
  7. Safe Implementability of Regular Message Sequence Chart Specifications [pdf] Nicolas Baudru and Rémi Morin SNPD'03
Rapports de recherche Thèse

Projets

Projet en cours : Anciens projets :

Copyright © "2012" Nicolas Baudru - Tous droits réservés | Accueil | Contact | Enseignement | Recherche.