Zurab Khasidashvili

Zurab Khasidashvili是英特尔公司的高级软件工程师。1985年毕业于格鲁吉亚第比利斯国立大学，1991年获得该大学的逻辑博士学位。从1992年到1998年，Zurab在几个机构做博士后:巴黎的INRIA、诺维奇的东安格利亚大学和日本的NTT研究实验室。1998年移居以色列后，他在Ben-Gurion和Bar-Ilan大学工作，1999年加入英特尔在海法的正式技术集团。在加入英特尔之前，Zurab从事术语重写和lambda微积分的工作。在英特尔，他曾在多个正式验证领域工作，包括硬件等价性检查、模型检查、基于SAT、SMT和epr的决策过程、ATPG和STE。最近，Zurab致力于HW/FW/SW协议的验证和安全验证。目前，Zurab正致力于将大数据分析应用于HVM良率和电气验证。Zurab是60多篇出版物和专利的作者。他还担任了一些会议和专题讨论会的技术项目委员会和组织委员会成员。
文章

文章

Baidu
map