机构名称：
¥ 2.0
Jordi Cortadella 是加泰罗尼亚理工大学（西班牙巴塞罗那）计算机科学系的全职教授。他是 IEEE 会员和欧洲科学院院士。他于 1987 年在同一所大学获得计算机科学博士学位。1988 年，他是加州大学伯克利分校的访问学者。他还曾于 1998 年夏季和 2001 年夏季担任英特尔公司（美国希尔斯伯勒）的客座教授，并于 2000 年夏季担任 Theseus Logic（美国桑尼维尔）的客座教授。他于 2007 年共同创立了 Elastix 公司，该公司生产用于异步设计的 EDA 工具。他的主要研究兴趣包括 VLSI 系统的形式化方法和计算机辅助设计，特别侧重于异步电路。他在技术期刊和会议上共同撰写了 200 多篇论文。他曾在电子设计自动化和并发领域众多会议的技术程序委员会任职。他是 ASYNC 2010 和 ICATPN 2004 的程序联合主席。他现在是 IEEE 集成电路和系统计算机辅助设计汇刊的副主编。他的研究对科学界产生了重大影响。例如，他设计了一个用于快速加法和比较的算术电路，并于 1992 年发表。该电路引起了多家公司的注意，并被引入到不同微处理器的某些组件中。他在并发系统综合和分析领域的贡献也产生了切实的影响。他被引用最多的论文之一提出了使用符号方法分析 Petri 网的技术。可能最相关的工作是在异步电路领域。自 90 年代初以来，他一直与一个国际团队密切合作研究这个课题。该领域的活动可以归类为基础研究，但所取得的成果引起了许多工业和学术机构的兴趣。该研究最显著的成果是一种名为 petrify 的异步控制器综合工具（www.cs.upc.edu/˜jordicf/petrify），目前正被许多大学用于研究和教学活动。该领域一篇经常被引用的论文也体现了这种影响：Petrify：一种用于操纵并发规范和异步控制器综合的工具，IEICE 信息与系统汇刊，1997 年 3 月。他在国际期刊上发表了许多论文：IEEE 集成电路和系统计算机辅助设计汇刊、IEEE 会议录、IEEE 计算机汇刊、IEEE VLSI 汇刊等。该领域的大部分贡献都已在该书的介绍中。
个人简历 - 计算机科学系
主要关键词
相关文件推荐
