Oumaima Barhoumi
Montreal,QC
Overview
5
5
years of professional experience
Work History
Teaching Assistant-Formal Hardware Verification
Concordia University
05.2023 - 06.2023
Grade exams, project reports and delivarables.
Gave tutorial and project clinics.
Teaching Assistant-Formal Hardware Verification
Concordia University
05.2022 - 06.2022
Grade exams, project reports and delivarables.
Gave tutorial and project clinics.
Internship Student-End of Studies Project
ADDIXO TUNISIE
02.2020 - 07.2020
Development of a visual-based guidance system for an assembly process.
Internship Student
INNOV-ALLIANCE TECH
07.2019 - 08.2019
Installation and configuration of an FTP server.
Development of an FTP client for Linux and Windows (embedded Linux).
Internship Student-End of Year Project
STELIA AEROSPACE
01.2019 - 04.2019
Predictive maintenance of UGV electro spindles using statistical CUSUM approaches.
Internship Student
SAFRAN TUNISIE
07.2018 - 08.2018
Timing and implementation of an HOSHIN construction site in a production workshop.
Education
Ph.D - Electrical And Computer Engineering
Concordia University
Montreal, QCMaster Of Applied Science - Electrical And Computer Engineering
Concordia University
Montreal, QC08.2022
Bachelor Of Engineering - Electrical Engineering
National Engineers School of Tunis
Tunis, Tunisia07.2020
Skills
- Python
- Simulation of Urban MObility (SUMO)
- Matlab/Simulink
- KeYmaera theorem prover
- SMT Solvers
- LabVIEW
Publications
- Barhoumi, O., Zaki, M.H. and Tahar, S. A Formal Approach to Road Safety Assessment using Traffic Conflict Techniques: submitted to IEEE Open Journal of Vehicular Technology (under 2nd round of revision)
- Barhoumi, O., Zaki, M.H. and Tahar, S. 'Formal Analysis of Vehicular Crash Severity using KeYmaera X': to be submitted to NASA Formal methods 2024
- Barhoumi, O., Zaki, M.H. and Tahar, S. Automated Guidance for Vehicular Decision Making Process: in preparation for submission to IEEE Transactions on Intelligent Transportation Systems
Clubs and Societies
- Ambassador for graduate studies at Concordia University (2023-present)
- Member of the IEEE ENIT Student Branch (2017-2020)
- President of Robotics and Automation Society Chapter (RAS) (2018-2019)
Languages
French
Full Professional
English
Full Professional
German
Elementary
Timeline
Teaching Assistant-Formal Hardware Verification
Concordia University
05.2023 - 06.2023
Teaching Assistant-Formal Hardware Verification
Concordia University
05.2022 - 06.2022
Internship Student-End of Studies Project
ADDIXO TUNISIE
02.2020 - 07.2020
Internship Student
INNOV-ALLIANCE TECH
07.2019 - 08.2019
Internship Student-End of Year Project
STELIA AEROSPACE
01.2019 - 04.2019
Internship Student
SAFRAN TUNISIE
07.2018 - 08.2018
Ph.D - Electrical And Computer Engineering
Concordia University
Master Of Applied Science - Electrical And Computer Engineering
Concordia University
Bachelor Of Engineering - Electrical Engineering
National Engineers School of Tunis
Similar Profiles
Kelli GainesKelli Gaines
Adjunct Professor at Concordia UniversityAdjunct Professor at Concordia University
Lioness WrightLioness Wright
Student Facilitator at Concordia UniversityStudent Facilitator at Concordia University
Crystal MboualaCrystal Mbouala
Clothing Event Space Set Up Volunteer at Concordia UniversityClothing Event Space Set Up Volunteer at Concordia University
Lethiwe Ntombikayise NkwanyanaLethiwe Ntombikayise Nkwanyana
Teaching Assistant at Concordia UniversityTeaching Assistant at Concordia University
Ros Niko VillagraciaRos Niko Villagracia
Machine Operator at Balcan Innovations IncMachine Operator at Balcan Innovations Inc