Omer Nguena Timo, Ph. D.

Chercheur en modélisation et développement logiciel

Omer Nguena Timo
Équipe : Modélisation et développement logiciel avancé

T 514 840-1235, poste 2497
@ omer.nguena-timo@crim.ca

(Ph. D. Informatique, Université de Bordeaux 1, France, 2009)

Omer a joint l’équipe du Centre de recherche en Informatique de Montréal (CRIM) en 2013. Actuellement, il occupe le poste de chercheur; il est par ailleurs professeur associé à l'Université du Québec à Montréal (UQAM). 

Omer œuvre au développement des méthodes formelles pour la vérification et la validation des systèmes et logiciels évolutifs qui peuvent être dotés d'intelligences artificielles leur permettant de s'adapter à leur environnement.   En particulier, il propose de nouvelles approches de test et de vérification qui s'appliquent à des de tailles industrielles.  

Ses travaux récents, effectués en collaboration avec General Motors, visent à améliorer le test des logiciels de contrôle automobile afin de prévenir des comportements inattendus. 

Il a travaillé comme chercheur postdoctorant au LaBRI à Bordeaux et à l’IRIT à Toulouse dans le cadre de projets avec des clients industriels tels que Dassault-System et EDF.  Il a développé des méthodes de synthèses de contrôleurs à base de la logique temporelle et des automates temporisés.  

Omer a présenté ses travaux dans des conférences reconnues et a reçu un prix pour la meilleure affiche ainsi que pour le meilleur article.

Ses principaux domaines d’intérêt sont les méthodes formelles, le test à base de modèles formels, la génération automatique des tests, le model-checking, la synthèse de contrôleur, les machines à états finis, les automates temporisés, la logique temporelle.  

Portrait d'expert du CRIM : Découvrez Omer Nguena Timo (5:01)

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

    +