Florent Avellaneda, Ph.D.

Researcher in Software Modeling, Testing and Verification

Florent Avellaneda
Team: Advanced Software Modeling and Development

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

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

Florent Avellaneda joined CRIM in November 2015 as a postdoctoral.

He holds a master’s degree in fundamental computer science from Université Aix-Marseille (France). Florent has worked with LASS-CNRS and Toulouse’s IRIT on a project with the STAE foundation in the area of formal modelling.

His main areas of interest include modelling, formal verification, model checking and Petri networks.

Return to list

Recent news

  • 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.

    +

Upcoming event

  • Gala des Prix Innovation 2020 de l'ADRIQ
    19 November 2020 0:00
    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.
    +
  • AIxSPACE RT @AIxSPACE_ca: Registrations are open for AIxSPACE! We're looking forward to meeting you all at the 1st event dedicated to #AI applied to…
  • Vous souhaitez rencontrer des grandes compagnies, chercheurs et startups afin d'avoir une discussion de fond sur la… https://t.co/g6adtJ519H

Recent Publications

  • 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

    +