About CRIM

Omer Nguena Timo, Ph.D.

Researcher

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 the Advanced Software Modeling and Development Team in 2013 as a postdoctoral researcher. He holds a Ph.D. computer science (Université de Bordeaux 1, France, 2009) and a master’s degree in computer science from Université Yaoundé 1 (Cameroun) and DEA (grade of master).

His areas of expertise include testing, verification and validation of real-time systems based on formal models. 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.

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

  • C'est par ici > https://t.co/DG7Btp4qs8 https://t.co/8qryDAQq06
  • ???? À LIRE! Nouvel article sur le #blogue du @CRIM_ca , par Farooq Sanni et Martin Sotir, scientifiques des données !… https://t.co/VgC0evIVDa

Recent Publications

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • État des lieux des technologies web

    +