Omer Nguena Timo, Ph.D.

Researcher in Software Modeling, Testing and Verification

Omer Nguena Timo
Team: Advanced Software Modeling and Development

T 514 840-1235, ext. 2497
@ omer.nguena-timo@crim.ca

(Ph.D. Computer science, Université de Bordeaux 1, France, 2009)

Omer joined CRIM in 2013. He is a researcher at the computer research institute of Montréal (CRIM) and an adjunct professor at the Université du Québec à Montréal (UQAM).

His areas of expertise include formal methods for the validation and verification of evolving systems which can continuously adapt to their environment thanks to the embedded artificial intelligence.

His most recent work, conducted in collaboration with General Motors, seeks to improve the software testing process of automobile control systems that prevent unexpected behaviors.

He has worked as a postdoctoral researcher in Bordeaux’s LaBRI and in Toulouse’s IRIT, on projects with industrial clients such as Dassault-System and EDF. Omer has also developed controller synthesis approaches based on timed temporal logic and timed automata.     

Omer has presented his work in renowned conferences and has received prizes for best poster and best article.

His main research interests are formal methods, model-based testing, model-checking, controller synthesis, finite state machines, timed automata, and temporal logic. 

Portrait d'expert du CRIM : Découvrez Omer Nguena Timo (In French - 5:01)

Return to list

Recent news

  • COVID-19 : Suivi de la situation
    25/03/2020

    Notre équipe maintient ses opérations à distance et est toujours là pour vous servir.

    +

Upcoming event

  • Intelligence d'affaires et analytique 2020 - Québec - Événements Les Affaires
    15 May 2020 8:30
    Hôtel Le Concorde Québec
    Le CRIM est fier d'être partenaire et de participer à la 4e édition de la conférence Intelligence d'affaires et analytique - Québec organisée par les Événements Les Affaires, les 14 et 15 mai 2020 à l'hôtel Concorde, Québec.
    +
  • ???? Appel aux innovations technologiques québécoises pour lutter contre le #Covid19 ???? @TechnoMontreal Vous avez une… https://t.co/HBNZ3L8Aq5
  • #COVID19 Suivant les directives du gouvernement, nos locaux sont fermés.Notre personnel redouble d'efforts pour con… https://t.co/PuJr81NvLQ

Recent Publications

  • Validating BGP Update Using Blockchain-Based Infrastructure

    +
  • Efficient Inference of Optimal Decision Trees

    +