I’m a deep logical thinker who enjoys solving challenging problems. My goal is to pursue my career in software engineering where I can combine my analytical skills, my computer science background, and my passion for intellectual challenges to help make the world a better place!

Experience

FivetranSoftware Engineer

2021 — 2023

San Francisco Bay Area

université de Sfax - University of Sfax (USS)Research Assistant

2013 — 2018

Sfax, Tunisia

Modeling and verifying time-aware processes for Cyber-Physical systems.

Business process modeling using BPMN2.0 (OMG standard).

Theoretical verification of system behavior, using formal methods of mathematics.

Technologies: Java, XML, XPath, Choco-solver, Timed automata (UPPAAL), Hybrid automata (HyTech), Eclipse BPMN2 Modeler, Latex.

université de Sfax - University of Sfax (USS)Teaching Assistant

2014 — 2015

Course: Introduction to Computer Science.

Designed efficient tutorials and taught hands that helped students improve their understanding of course materials.

Taught classes consisting of 10-12 students each.

LAAS-CNRSVisiting Researcher

2014 — 2015

Verification of cyber-physical systems: formal verification of the process to ensure that the BPMN design model is free of deadlock, livelock, and other undesirable properties that can cause a system crash.

Mapping of the BPMN model to formal languages.

Theoretical verification of system behavior, using formal methods of mathematics.

LAAS-CNRSResearch Assistant Internship

2012 — 2014

Modeling service-oriented architectures.

Behavior modeling and automated verification of Web services.

Education

Hackbright Academy

Computer Software Engineer

University of Sfax

Doctor of Philosophy (Ph.D.)

University of Sfax

Master’s Degree

University of Sfax

Bachelor’s Degree

University of Sfax