Vous êtes les bienvenus!
I am Imane Lamrani, a current Computer Engineering Ph.D. student 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.
AI Testing, AI-enabled Cyber-Physical Systems, Formal Safety Verification, Model Mining, Safe Autonomous Systems, Machine Learning.
You can find additional information at:
U.S. Patent Applications
”Systems and Methods for Hybrid Automata Mining From Input-Output Traces of Cyber-Physical Systems”, M18- 258P, Filed May 15, 2019. (Non-provisional Patent)
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