Mohammad R. Fadiheh

Mohammad R. Fadiheh received his B.Sc. degree in Electrical Engineering from Amirkabir University of Technology, Iran, in 2015, and the M.Sc. and Ph.D. degrees in Electrical and Computer Engineering from TU Kaiserslautern, Germany, in 2017 and 2022, under the direction of Professor Wolfgang Kunz. He is currently a postdoctoral research scholar at Stanford Robust Systems Group with Professor Subhasish Mitra. His research interests include formal verification, hardware security, and secure microarchitecture design. He is currently working on scalable formal verification for hardware accelerators and processors. He was a recipient of the Intel Hardware Security Academic Award, in 2022 and the Best Paper Award at DAC 2022.