À propos du CRIM

Omer Nguena Timo, Ph. D.

Chercheur, Équipe Modélisation et développement logiciel avancé

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 Modélisation et développement logiciel avancé du CRIM en 2013 à titre de chercheur postdoctorant. Depuis 2016, il occupe le poste de chercheur. Titulaire d'un doctorat en informatique (Université de Bordeaux 1, France, 2009) et d'une maîtrise en informatique (Université Yaoundé 1, Cameroun) et DEA (grade Master), Omer est spécialiste en test, vérification et validation des systèmes temps-réel à base de modèles formels.

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.

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

Retour à la liste

  • Saviez-vous que Le Solutionneur a été utilisé pr 120 écoles sec QC pr faire horaires #rentree2017 de 101 000 élèves… https://t.co/b2Nr7NfJrD
  • CRIM is happy to present 2 papers at #IWCS2017! https://t.co/wcH8i2mTdZ https://t.co/Hc9IDNvwhj

Publications récentes

  • PeopleBot

    +
  • Fine-grained domain classification of text using TERMIUM Plus

    +