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

  • Valorisation de la recherche québécoise
    16/09/2020

    Le CRIM salue l’importance que le Ministre Pierre Fitzgibbon accorde à la valorisation de la recherche québécoise et l’ampleur des ressources qu’il y consacrera.

    +

Événement à venir

  • Santé et sécurité du travail 2020 - Événement les Affaires
    23/09/20 8h30
    Présentation en ligne
    Le CRIM est fier d'être partenaire de la 10e édition de la conférence Santé et sécurité du travail organisée par les Événement Les Affaires. Présentation en ligne.
    +
  • Nous sommes fiers de faire partie d'une sphère humaine réunissant tous les acteurs motivés à bâtir un monde meilleu… https://t.co/4HQoiDQE7z
  • L'avenir de l'industrie de la construction aujourd'hui: 5e grande conférence @batimateck : Petit Batimatech - 22 s… https://t.co/1GLNi0uSrM

Publications récentes

  • An end-to-end approach for the verification problem: learning the right distance

    +
  • The Indigenous Languages Technology Project at NRC Canada: an empowerment-oriented approach to developing language software

    +