Omer Nguena Timo, Ph. D.

Chercheur en modélisation, test et vérification 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

  • Découvrez le CRIM
    13/02/2020

    Acteur clé en TI au Québec ; un lien entre les mondes universitaire et industriel, qui développe, adapte et rend accessibles les technologies et les connaissances, pour répondre aux besoins des organisations.

    +

Événement à venir

  • DevOps - En rappel à Québec - Événement Les Affaires
    26/02/20 8h30
    Hôtel Le Concorde Québec
    Le CRIM fier partenaire de la 2e édition de la conférence DevOps - En rappel à Québec, organisée par les Événement Les Affaires, qui se tiendra les 26 et 27 février 2020 | Hôtel le Concorde, Québec
    +
  • L’#analyse prédictive, un avantage compétitif pour toute organisation! Découvrez comment l' #expertise du CRIM peut… https://t.co/l8gRC08Xb0
  • #Événement Usine 4.0 (à Québec) – Événements Les Affaires. ???? 10% de #rabais pour les membres du CRIM avec le code p… https://t.co/cW61X4bDhU

Publications récentes

  • Efficient Inference of Optimal Decision Trees

    +
  • Maritime Autonomous Surface Ships and the Human Machine Interface

    +