Profile Details

Create Project

★★★★★

☆☆☆☆☆

USD 25 /hr

★★★★★

☆☆☆☆☆

Hire Dr. Amine M.

Algeria

USD 25 /hr

I am an academic, a researcher, a computer scientist, an entrepreneur, and an educator. I prefer the latter.

Profile Summary

I am an academic, researcher, computer scientist, and entrepreneur with a robust educational background and extensive experience across academia and industry. I hold a Ph.D. in Computer Science (Real-Time Systems) and an M.Eng. in Computer Systems and Software Engineering, both from the University of York, UK. My primary research focus is the timing analysis of real-time systems, particularly Worst-Case Execution-Time (WCET) analysis. Over the years, I have led or contributed to numerous research projects involving WCET analysis techniques, including parametric and early-time analysis, model-based WCET, composability in component-based systems, code positioning, and timing model identification using evolutionary algorithms and machine learning. Additionally, my research has expanded into power-efficient FPGA architectures, GIS-based crowd control solutions, and neural network modeling of industrial corrosion. I have been a principal investigator on several funded research projects totaling over 5 million SAR (~1.3 million USD), including projects on the timing analysis of multicore systems and dynamic analysis using multidimensional execution traces. These projects were funded by the Saudi National Science, Technology, and Innovation Program (NSTIP) and SABIC. In academia, I serve as an Associate Professor at Saida University, where I teach a broad range of undergraduate courses such as Theory of Computation, Algorithms and Data Structures, Mobile Development, and Operating Systems. My teaching experience spans more than a decade, including my previous role at Umm Al-Qura University in Saudi Arabia where I also contributed to ABET accreditation and departmental development efforts. I have supervised and examined numerous bachelor’s and master’s capstone projects. Alongside my academic career, I am the founder and CEO of Infinity Computer Systems. I developed PrediWCET, a WCET analysis toolchain, and AmiMaths, a suite of intelligent educational tools for learning mathematics. These tools reflect my dual focus on cutting-edge real-time systems research and practical e-learning solutions. I am proficient in a wide array of programming languages (e.g., C, Java, Flutter, Python, Prolog), development tools, operating systems, and educational platforms. Fluent in Arabic, English, and French, I bring a multilingual and multicultural approach to my professional endeavors.

Subject Matter Expertise

• ☆ Computer Science
• ☆ Software Engineering
• ☆ Embedded Systems
• ☆ Python
• ☆ Matlab
• ☆ SQL
• ☆ Java
• ☆ Tensorflow
• ☆ LaTex
• ☆ Scikit-learn
• ☆ Markup Languages

Services

• Writing
• Research
• Consulting
• Data & AI

Writing Technical Writing

Research Scientific and Technical Research, Systematic Literature Review

Consulting Scientific and Technical Consulting

Data & AI Statistical Analysis, Algorithm Design-Non ML, Algorithm Design-ML

Work Experience

Assistant Professor

Université de Saida Dr.Moulay Tahar

September 2023 - Present

Assistant Professor

Umm al-Qura University

September 2010 - June 2014

Postdoctoral Researcher

Mälardalen University

October 2009 - September 2010

Teaching Assistant

University of York

October 2005 - October 2009

Education

Ph.D. in Computer Science (Computer Science)

University of York

October 2005 - August 2009

M.Eng. in Computer Systems and Software Engineering (Computer Science)

University of York

October 2001 - July 2005

Certifications

• Chartered Engineer

  BCS

  February 2013 - Present

Publications

JOURNAL ARTICLE

Marref, Amine, Basalamah, Saleh, Al-Ghamdi, Rami (2013). Evolutionary Computation Techniques for Predicting Atmospheric Corrosion . International Journal of Corrosion.

Marref, A., Betts, A. (2011). Accurate Measurement-based WCET Analysis in the Absence of Source and Binary Code . Proceedings of IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC).

Marref, A. (2010). Compositional timing analysis . Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS).

Marref, Amine, Bernat, Guillem (2009). Predicated Worst-Case Execution-Time Analysis . Lecture Notes in Computer Science.

CONFERENCE PAPER

Marref, A. (2011). Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis . International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI).

Marref, Amine, Betts, Adam (2011). Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times . IEEE International Conference on Engineering of Complex Computer Systems (iceccs).

Marref, Amine, Betts, Adam (2011). WCET Analysis of Component-Based Systems using Timing Traces . IEEE International Conference on Engineering of Complex Computer Systems (iceccs).