About CRIM

Florent Avellaneda, Ph.D.

Postdoral Researcher

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 the Advanced Software Modeling and Development Team in November 2015 as a postdoctoral researcher.

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

  • Claude Chapdelaine, spécialiste en #ergonomiecognitive et conseillère senior au CRIM, parle d'#IA et de… https://t.co/qSKiDRhvqz
  • Facilis RT @facilis_inc: Nous sommes très fiers de s'associer avec le @CRIM_ca afin d'intégrer des fonctions d'#intelligenceartificielle à nos appl…

Recent Publications

  • État des lieux des technologies web

    +
  • La science des données pour la prédiction des temps de réponse dans la gestion des services incendies : l'exemple de Montréal

    +