by Caden Diamond
July 9th 2025
Share
Electrical & Computer Engineering PhD student, Mohamed Ghonim, was honored as one of the DAC Young Fellows at the 62nd Design Automation Conference. Ghonim says "DAC 2025 was an incredible opportunity to share our work on scaling Formal Verification using AI to ensure systems behave exactly as intended. It was an honor to represent PSU among a diverse, global community and to connect with brilliant minds from around the world—researchers, students, and industry leaders all working toward the future of electronics. Being named a DAC Young Fellow has been both humbling and inspiring".