Florent Avellaneda, Ph. D.

Chercheur en modélisation, test et vérification 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

  • Retour sur l'AGA 2020
    06/07/2020

    Le CRIM a tenu sa 35e assemblée générale annuelle le 18 juin 2020. Plusieurs membres étaient présents pour souligner une année de croissance importante pour l’organisme.

    +

Événement à venir

  • Gala des Prix Innovation 2020 de l'ADRIQ
    19/11/20 0h00
    Palais des Congrès de Montréal
    Le Gala Prix Innovation 2020 de l'ADRIQ aura lieu le 19 novembre 2020, au Palais des congrès de Montréal.
    +
  • ADRIQ-RCTi RT @ADRIQ_RCTi: Assemblée virtuelle pour une année exceptionnelle : le @CRIM_ca dévoile des résultats probants. #croissance et rayonnement…
  • ???? Assemblée virtuelle pour une année exceptionnelle: le CRIM dévoile des résultats probants! Le CRIM a tenu sa 35e… https://t.co/Y0CfAWK6Da

Publications récentes

  • On The Performance of Time-Pooling Strategies for End-to-End Spoken Language Identification

    +
  • An ensemble Based Approach for Generalized Detection of Spoofing Attacks to Automatic Speaker Recognizers

    +