Florent Avellaneda, Ph. D.

Postdoctorant - Modélisation et développement 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

Nouvelles récentes

  • DonneesClimatiques.ca - Un outil exceptionnel au bénéfice des décideurs du Canada!
    15/08/2019

    Lancement du portail DonneesClimatiques.ca en présence de la ministre de l'Environnement et du Changement climatique, l'honorable Catherine McKenna.

    +

Événement à venir

  • Batimatech 2019
    17/09/19 9h00
    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…

Publications récentes

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

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

    +