Aller au contenu principal
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

PhD Omer Landry Nguena Timo

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.

DOMAINES DE SPÉCIALISATION


  • 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


FORMATION

  • 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 

ENSEIGNEMENT

  • 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

RECHERCHE
  • 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

AFFILIATIONS

Professeur associé à l'UQAM

DIRECTION DE RECHERCHE