À propos du CRIM

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

  • CSCIENCE IA RT @CSCIENCEIA: Une année marquante pour les membres du Centre de recherche informatique de Montréal (@CRIM_ca). L’organisme termine l’une…
  • PRIMA Québec RT @PRIMAQUEBEC: Bénéficiez d’une grande notoriété auprès de l’écosystème de la recherche et de l’innovation du Québec en appliquant sur le…

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

    +