فارسی | En

Education

  • Ph.D.: Electrical and Computer Engineering, University of Tehran, 2004
  • M.Sc.: Computer Engineering (Hardware), University of Tehran, 1999
  • B.Sc.: Computer Engineering (Hardware), University of Tehran, 1996

Research Interests

  • Formal Verification Methods
  • Embedded System Design Methodologies
  • Reconfigurable Computing
  • Post-silicon Debug
  • Electronic System Level (ESL) Design Automation
  • High Level Synthesis and Test
  • Reliability and Fault Tolerance Techniques
  • Hardware Security