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

  • Recherche et innovation internationale : Le CRIM et le CETIC annoncent une entente de collaboration
    10/04/2019

    Le Centre de Recherche Informatique de Montréal (CRIM) annonce le début d’une collaboration internationale avec le Centre d’Excellence en Technologies de l’Information et de la Communication (CETIC), un centre de recherche de Wallonie-Bruxelles.

    +

Événement à venir

  • ICST 2019
    22/04/19 0h00
    Xi'an, China
    Le CRIM présentera un article lors de la '12th IEEE International Conference on Software Testing, Verification and Validation' en Chine du 22 au 27 avril 2019.
    +
  • Le @CRIM_ca en action à #Connexion ! #numeriqueLA @la_lesaffaires #innovation #recherche #IA #PME… https://t.co/UvSAd0uZ17
  • L'#IA débarque en #agriculture! Le CRIM est fier d'être hôte de cet événement et de fournir son expertise en #IA et… https://t.co/RzxjuuSusa

Publications récentes

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

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

    +