About CRIM

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

  • Le 4 mars, participez au Webinaire sur le DATALAB pour découvrir comment cette approche progressive peut vous aider… https://t.co/zJmrfNB84I
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…

Recent Publications

  • Validating BGP Update Using Blockchain-Based Infrastructure

    +
  • Efficient Inference of Optimal Decision Trees

    +