Omer Landry Nguena Timo PhD

Courriel : omer.nguena-timo [at] uqo.ca
Téléphone: 450 530-7616, poste: 4509
Saint-Jérôme - Campus de Saint-Jérôme
5, rue Saint-Joseph
Saint-Jérôme
Québec
Canada
J7Z 0B7
Local: N231

Le professeur Nguena Timo, Ph.D. est un spécialiste de l’informatique et de la sureté de fonctionnement des systèmes informatiques avec une expérience à l’international. Il a notamment travaillé en France et ici au Québec pour accroître l’innovation dans des industries des milieux de l’automobile, de l’aéronautique et des télécommunications. Son mandat est d’améliorer la sûreté et la sécurité des systèmes informatiques. 

Diplômé au doctorat en informatique de l’Université Bordeaux 1 - France et d’une maîtrise en informatique de l’Université de Yaoundé 1 – Cameroun

En tant que chercheur, il a fait partie de projet internationaux incluant des pays européens. Ses travaux sont publiés dans des revues et conférences de qualité et reçoivent l’appui des organismes comme le CRSNG.

En tant que codirecteur du module de l’informatique, Monsieur Nguena Timo contribue avec grand intérêt au développement du programme de baccalauréat en informatique à l’UQO | Campus de Saint-Jérôme.

  • Méthodes formelles
  • Test et vérification à base de modèles
  • Cybersécurité
  • Systèmes évolutifs
  • Systèmes à base d'apprentissage automatique
  • Logiques temporelle et machine à états-finis
  • Doctorat en informatique, Université Bordeaux 1 - France
    • Sujet: synthèse pour une logique temps-réelle faible
  • DEA d'informatique fondamentale, Université Bordeaux 1 -France
    • Sujet: comparaison de séquences (biologiques) multi-échelles
  • Maitrise d'informatique, Université de Yaoundé 1 - Cameroun 
  • INF1563 - Programmation I
  • MAT1153 - Structure discrètes
  • INF4063 - Structures des informations I
  • INF4173 - Projet Synthèse
  • INF4533 - Technologies Internet
  • INF9123 - Atelier en algorithmique et génie logiciel
  • Test à base de modèles
    • ​​Génération de tests à partir de modèles de mutations et du code C
    • Extraction d'oracles représentés par des machines à états finis
  • Analyse et verification des systèmes à base de l'apprentissage automatique
    • Evaluation d'algorithme d'apprentissage d'arbre de décisions
  • Sécurité des systèmes informatisés
    • Expression et analyse des politiques de contrôle d'accès
  • Specification et contrôle des systèmes temps réels
    • Logique temporelle temporisée
    • Synthèse de contrôleur des systèmes repreésentés par des automates temporisés

Liste complète des productions

Professeur associé à l'UQAM