Mohammadreza HEIDARI IMAN

Mohammad Reza Heidari Iman is currently a postdoctoral researcher at TIMA Laboratory. He earned his PhD from Tallinn University of Technology, Estonia, in August 2024. His research interests include verification and assertion-based verification in safety-critical embedded systems, hardware security, and the application of AI in hardware security and verification. He is a program committee member for the ETS conference and also serves as a reviewer for leading journals and conferences, including IEEE TCAD, DATE, ETS, VLSI-SoC, IOLTS, and CODES+ISSS.