فارسی | En

تحصیلات

  • دکتری: مهندسی برق و کامپیوتر دانشگاه تهران، سال ۱۳۸۳
  • ارشد: مهندسی کامپیوتر دانشگاه تهران ،سال ۱۳۷۸
  • لیسانس: مهندسی کامپیوتر دانشگاه تهران، سال ۱۳۷۶

زمینه های مورد علاقه

  • 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
-->