Worked with CORSE team to expand the capabilities of EasyTracker, a scripted debugging tool, enabling debugging for JVM-based applications alongside existing support for Python, C, C++, and Rust. This addition aims to enhance the tool's utility in educational and development contexts.

Conducted research on software engineering and formal methods, with a focus on program instrumentation and runtime verification of concurrent systems, resulting in several peer-reviewed publications.Engineered tools in bytecode instrumentation of JVM-based programs and monitoring of concurrent programs.Collaborated with the Formal Computer Science Laboratory at UQAC and created tools for testing, monitoring and profiling programs with complex event processing.Contributed to the CPS4EU project, a European initiative to improve the reliability of industrial software systems.

Designed, developed and implemented innovative program instrumentation and monitoring tools for JVM-Based languages.Supervised and mentored interns at the CORSE team.

Designed and developed innovative cloud and web software solutions within strict deadlines. Engineered lighthouse projects that became the backbone for student services such as the student payments portal, student electronic voting system, student clearance system, and AUB estore. Lead the student software factory, a team of computer science and engineering students working on innovative projects for the university.

Developed a fully-fledged electronic medical records product along with an appointment, invoicing, and a web-based retail system. Established relationships and worked closely with physicians, clinics, hospitals, insurance companies, brokers, and banks. Dealt with Middle Eastern governments to establish medical agreements and to develop and deploy clinical solutions.

Supported old legacy hospitality management solution written in FoxPro. Dealt with clients and went on field trips to collect new requirements for stakeholders.