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

  • Retour sur l'AGA 2020
    06/07/2020

    Le CRIM a tenu sa 35e assemblée générale annuelle le 18 juin 2020. Plusieurs membres étaient présents pour souligner une année de croissance importante pour l’organisme.

    +

Upcoming event

  • Gala des Prix Innovation 2020 de l'ADRIQ
    19 November 2020 0:00
    Palais des Congrès de Montréal
    Le Gala Prix Innovation 2020 de l'ADRIQ aura lieu le 19 novembre 2020, au Palais des congrès de Montréal.
    +
  • AIxSPACE RT @AIxSPACE_ca: Registrations are open for AIxSPACE! We're looking forward to meeting you all at the 1st event dedicated to #AI applied to…
  • Vous souhaitez rencontrer des grandes compagnies, chercheurs et startups afin d'avoir une discussion de fond sur la… https://t.co/g6adtJ519H

Recent Publications

  • On The Performance of Time-Pooling Strategies for End-to-End Spoken Language Identification

    +
  • An ensemble Based Approach for Generalized Detection of Spoofing Attacks to Automatic Speaker Recognizers

    +