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. 

Return to list

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg

Recent Publications

  • Projet patrimoine TARV

    +
  • PeopleBot

    +