Imane Lamrani


Vous êtes les bienvenus!

I am Imane Lamrani, a current Computer Engineering Ph.D. Candidate in Dr. Sandeep Gupta ‘s iMPACT Lab and CIDSE, ASU. Before joining ASU, I received a M.S. in Computer Systems and Software Design from Jacksonville State University. I also obtained a M1 in Intelligent Systems from Faculté des Sciences de Kénitra and a Bachelor’s degree in Electronics, Telecommunications, and Computer Science from Faculté des Sciences et Techniques de Fès.

My research goal is to develop rigorous formal safety verification approaches to evaluate the correct operation of AI-enabled Cyber Physical Systems (CPS) in field, perform a root-cause analysis, and verify the operational safety of the AI-enabled CPS in field.

I have been one of the 10 laureate U.S doctoral students chosen to participate in the French-American Doctoral Exchange Seminar (FADEx) 2016-CPS.

Research Interests

AI Testing, AI-enabled Cyber-Physical Systems, Formal Safety Verification, Model Mining, Safe Autonomous Systems, Machine Learning.

Additional Information

You can find additional information at:

News Articles (page 25)

U.S. Patent Applications

Systems and Methods for Hybrid Automata Mining From Input-Output Traces of Cyber-Physical Systems”.



Office: 699 South Mill Avenue Brickyard Suite 517AA Tempe AZ 85281, U.S.

If you have a project idea, or would like to collaborate on my existing work, send me an email : ilamrani at asu dot edu