Oumaima Barhoumi, a PhD candidate in Electrical and Computer Engineering under the supervision of Dr. Sofiène Tahar, is the recipient of the First Prize Award at a national competition held during the 14th edition of the Journée de l’innovation ReSMiQ (JIR) . The event, which took place on April 7, 2025 at the Université du Québec à Trois-Rivières (UQTR), was organized by ReSMiQ (Regroupement Stratégique en Microsystème du Québec), Canada’s largest research network in microsystems.

Oumaima’s innovative work on the Formal Analysis of Transportation Safety ranked first among 24 selected graduate projects from 10 Quebec universities. Her project impressed the jury for its innovative approach to ensuring safety in intelligent transportation systems—specifically, Connected Autonomous Vehicles—through the use of formal verification, traffic simulation, and safety traffic rules. More information about the project can be found here.