À propos du CRIM

Florent Avellaneda, Ph. D.

Chercheur postdoctorant

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 chercheur 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

  • "Accélérer l'adoption et la mise en place de solutions d'#IA par l'ensemble du tissu économique québécois" Le… https://t.co/b4qAzv9ibL
  • Prompt_Innovation RT @Prompt_Innov: Aujourd’hui, le 22 juin 2018, marque le lancement officiel du 1e appel de projets de INNOV-R! Accélérer la transition ver…

Publications récentes

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • État des lieux des technologies web

    +