Mostafa Elnahas

Mostafa Elnahas is a Formal Verification Engineer at LUBIS EDA since May 2022, where responsibilities include translating digital system requirements into formal models and properties for verification, identifying potential bugs early in the design process, and collaborating with cross-functional teams for effective solutions. Prior experience includes a student job in formal verification at Mindz Center and serving as a Robotics and Programming instructor. Mostafa Elnahas holds a Master of Science in Embedded Computing Systems from RPTU Kaiserslautern-Landau and a Bachelor of Engineering in Electronics and Communications Engineering from the Arab Academy for Science, Technology and Maritime Transport, along with an exchange program at the University of Central Lancashire.