About CRIM

Omer Nguena Timo, Ph.D.


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. 

Return to list

  • technopolys RT @technopolys_qc: Découvrez le grand lexique français des sciences des données https://t.co/QocO6aJqad
  • CQRDA RT @CQRDA637Talbot: ÉVÉNEMENT - Rendez-vous Forum 2018 | 18 au 19 avril 2018 | Palais des Congrès de Montréal | En collaboration avec le…

Recent Publications

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

  • État des lieux des technologies web