Florent Avellaneda, Ph.D.

Postdoctoral - Software Modeling and Development

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

  • ClimateData.ca - An exceptional tool for Canadian leaders!
    15/08/2019

    Launch of the ClimateData.ca portal in the presence of the Honourable Catherine McKenna, Minister of Environment and Climate Change.

    +

Upcoming event

  • Batimatech 2019
    17 September 2019 9:00
    Les Studios des 7 Doigts à Montréal
    Batimatech 2019, le 17 septembre 2019, sous le thème: l'avenir de la construction aujourd'hui.
    +
  • Le CRIM recrute! Conseiller en recrutement en TI
  • Chambly Express.ca RT @chamblyexpress: Un outil 2.0. pour lutter contre les changements climatiques #changements #climatiques #site #web #2019 #outil #techno…

Recent Publications

  • Forage de données géospatiales, quelques applications

    +
  • Des technologies perturbatrices pour de futures applications du bâtiment intelligent utilisant AI

    +