Post-Silicon Validation and Debug
暫譯: 後矽驗證與除錯

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering at the University of Florida. His research interests include embedded and cyber-physical systems, energy-aware computing, hardware security and trust, system-on-chip verification, bioinformatics, and post-silicon validation and debug. He received his Ph.D. in Computer Science and Engineering from the University of California, Irvine. He has published six books and more than 150 research articles in premier international journals and conferences. His research has been recognized by several awards including the NSF CAREER Award, IBM Faculty Award, three best paper awards, and EDAA Outstanding Dissertation Award. Prof. Mishra currently serves as the Deputy Editor-in-Chief of IET Computers & Digital Techniques, and as an Associate Editor of ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on VLSI Systems, and Journal of Electronic Testing. Currently, he is serving as the Program Chair of International Conference on VLSI Design and International Conference on Embedded Systems. He has served on many conference organizing committees and technical program committees of premier ACM and IEEE conferences. He is currently serving as an ACM Distinguished Speaker. Prof. Mishra is an ACM Distinguished Scientist and a Senior Member of IEEE.

Farimah Farahmandi received her Ph.D. from the Department of Computer and Information Science and Engineering at the University of Florida, 2018. She received her B.S. and M.S. from the Department of Electrical and Computer Engineering at the University of Tehran, Iran in 2010 and 2013, respectively. Her research is focused on developing analytical models and computational methods for design and verification of secure, trustworthy and energy-efficient systems. During her Ph.D., she has actively collaborated with various research groups (IBM, NXP, Intel, and Cisco) that have led to several joint publications. Her research has resulted in one book, six book chapters, and thirteen publications in premier ACM/IEEE journals and conferences. Her research has been recognized by several awards including IEEE System Validation and Debug Technology Committee Student Research Award, Gartner Group Info-Tech Scholarship, nomination for Best Paper Award in ASPDAC 2017, DAC Richard Newton Young Student Fellowship, and SIGDA Ph.D. Forum at DAC. She was a research intern in advanced security research group at Cisco in summer 2016.

Prabhat Mishra 是佛羅里達大學計算機與資訊科學工程系的教授。他的研究興趣包括嵌入式系統和網路物理系統、能源感知計算、硬體安全與信任、系統單晶片驗證、生物資訊學，以及後矽驗證與除錯。他在加州大學爾灣分校獲得計算機科學與工程的博士學位。他已出版六本書籍和超過150篇在國際頂尖期刊和會議上發表的研究文章。他的研究獲得多項獎項的認可，包括NSF CAREER獎、IBM教職員獎、三項最佳論文獎，以及EDAA傑出論文獎。Mishra教授目前擔任IET Computers & Digital Techniques的副主編，以及ACM Transactions on Design Automation of Electronic Systems、IEEE Transactions on VLSI Systems和Journal of Electronic Testing的副編輯。目前，他擔任國際VLSI設計會議和國際嵌入式系統會議的程序主席。他曾在多個ACM和IEEE的頂尖會議中擔任會議組織委員會和技術程序委員會的成員。他目前擔任ACM傑出演講者。Mishra教授是ACM傑出科學家和IEEE的資深會員。

Farimah Farahmandi 於2018年在佛羅里達大學計算機與資訊科學工程系獲得博士學位。她於2010年和2013年分別在伊朗德黑蘭大學電機與計算機工程系獲得學士和碩士學位。她的研究專注於開發安全、可信和能源高效系統的分析模型和計算方法。在攻讀博士學位期間，她積極與多個研究團隊（IBM、NXP、Intel和Cisco）合作，並促成了多篇聯合出版的論文。她的研究成果包括一本書、六章書籍和十三篇在ACM/IEEE頂尖期刊和會議上發表的論文。她的研究獲得多項獎項的認可，包括IEEE系統驗證與除錯技術委員會學生研究獎、Gartner Group Info-Tech獎學金、2017年ASPDAC最佳論文獎提名、DAC Richard Newton年輕學生獎學金，以及DAC的SIGDA博士論壇。她於2016年夏季在Cisco的先進安全研究小組擔任研究實習生。