Florent Avellaneda, Ph. D.

Postdoctorant - Modélisation et développement logiciel

Florent Avellaneda
Équipe : Modélisation et développement logiciel avancé

T 514 840-1235, poste 5648
@ florent.avellaneda@crim.ca

(Ph. D. Informatique, Université d'Aix-Marseille, France, 2013)

Florent Avellaneda a joint l’équipe du CRIM en novembre 2015 à titre de  postdoctorant.

Titulaire d’une maîtrise et d’un doctorat en informatique fondamentale de l’Université d’Aix-Marseille (France), Florent a travaillé comme chercheur postdoctorant au LAAS-CNRS et à l’IRIT de Toulouse dans le cadre d’un projet avec la fondation STAE dans le domaine des méthodes formelles.

Ses principaux domaines d’intérêt sont la modélisation, la vérification formelle, le model checking et les réseaux de Petri.

 

 

Retour à la liste

Nouvelles récentes

  • COVID-19 : Suivi de la situation
    25/03/2020

    Notre équipe maintient ses opérations à distance et est toujours là pour vous servir.

    +

Événement à venir

  • Intelligence d'affaires et analytique 2020 - Québec - Événements Les Affaires
    15/05/20 8h30
    Hôtel Le Concorde Québec
    Le CRIM est fier d'être partenaire et de participer à la 4e édition de la conférence Intelligence d'affaires et analytique - Québec organisée par les Événements Les Affaires, les 14 et 15 mai 2020 à l'hôtel Concorde, Québec.
    +
  • 5 nouvelles formations en ligne par @etsmtl Formation pour rester motivé! #partenaire https://t.co/ei9Kem6IFI
  • ???? Appel aux innovations technologiques québécoises pour lutter contre le #Covid19 ???? @TechnoMontreal Vous avez une… https://t.co/HBNZ3L8Aq5

Publications récentes

  • Validating BGP Update Using Blockchain-Based Infrastructure

    +
  • Efficient Inference of Optimal Decision Trees

    +