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

  • Biais de l'IA - Un expert du CRIM cité dans L'Actualité
    20/02/2019

    Pierre André Ménard, chercheur au CRIM, a participé un article de L'Actualité portant sur les biais potentiels de l'intelligence artificielle.

    +

Événement à venir

  • Génie 4.0: prenez le virage vous aussi
    26/02/19 0h00
    Usine C (Montréal)
    Le CRIM, partenaire de cet événement, sera présent le 26 février 2019 à Montréal pour la Journée-conférence organisée par Genium 360, en collaboration avec CRIM, CRIQ, CEFRIO, MQQ, Deloitte.
    +
  • Félicitations à nos collaborateurs @ouranos_cc ! https://t.co/jJqKWGMPtr
  • Tom Landry RT @Tom_Landry_: @salledepresseGC @ouranos_cc Allright, bravo @ouranos_cc, on est fiers de vous. Merci de votre très solide collaboration a…

Publications récentes

  • Object Counting on Low Quality Images: A Case Study of Near Real-Time Traffic Monitoring

    +
  • Object Counting on Low Quality Images: A Case Study of Near Real-Time Traffic Monitoring

    +