World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
41
Citations
7429
World Ranking
8828
National Ranking
128

Research.com Recognitions

  • 2015 - IEEE Fellow For contributions to the design of asynchronous and elastic circuits
  • 2013 - Member of Academia Europaea

Overview

Jordi Cortadella is affiliated with the Universitat Politècnica de Catalunya in Spain and has contributed extensively to research in computer science, focusing primarily on hardware and architecture, computational theory and mathematics, and electrical and electronic engineering. Their work spans 26 publications with significant emphasis on subfields such as hardware and architecture, formal methods in verification, and embedded systems design techniques.

The main topics of Jordi Cortadella's work include:

  • Parallel computing and optimization techniques
  • Embedded systems design techniques
  • Formal methods in verification
  • Low-power high-performance VLSI design
  • Advanced neural network applications
  • VLSI and analog circuit testing
  • Petri nets in system modeling

They have authored research published in several distinguished venues, notably:

  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • IEEE Access
  • IEEE Transactions on Circuits & Systems II Express Briefs
  • ACM Transactions on Reconfigurable Technology and Systems
  • 2022 25th Euromicro Conference on Digital System Design (DSD)

Recent significant papers include:

  • "CNN-on-AWS: Efficient Allocation of Multikernel Applications on Multi-FPGA Platforms," 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • "Power-Optimal Mapping of CNN Applications to Cloud-Based Multi-FPGA Platforms," 2020, IEEE Transactions on Circuits & Systems II Express Briefs
  • "Multilevel Dataflow-Driven Macro Placement Guided by RTL Structure and Analytical Methods," 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • "Buffer Placement and Sizing for High-Performance Dataflow Circuits," 2021, ACM Transactions on Reconfigurable Technology and Systems
  • "Automatic Safe Data Reuse Detection for the WCET Analysis of Systems With Data Caches," 2020, IEEE Access

Frequent coauthors collaborating with Jordi Cortadella include:

  • Mihai T. Lazarescu
  • Luciano Lavagno
  • Mario R. Casu
  • Tiziano Villa
  • Junnan Shan

Jordi Cortadella has been recognized with notable distinctions in their field, including being named an IEEE Fellow in 2015 for contributions to the design of asynchronous and elastic circuits. They were also inducted as a member of Academia Europaea in 2013.

Best Publications

  • Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

    Jordi Cortadella;Michael Kishinevsky;Alex Kondratyev;Luciano Lavagno

  • Deriving Petri nets from finite transition systems

    J. Cortadella;M. Kishinevsky;L. Lavagno;A. Yakovlev

  • Logic Synthesis for Asynchronous Controllers and Interfaces

    Jordi Cortadella;Michael Kishinevsky;A. Kondratyev;Luciano Lavagno

  • Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications

    J. Cortadella;A. Kondratyev;L. Lavagno;C.P. Sotiriou

  • Petri Net Analysis Using Boolean Manipulation

    Enric Pastor;Oriol Roig;Jordi Cortadella;Rosa M. Badia

  • Synthesis of synchronous elastic architectures

    Jordi Cortadella;Mike Kishinevsky;Bill Grundmann

  • Working-zone encoding for reducing the energy in microprocessor address buses

    E. Musoll;T. Lang;J. Cortadella

  • The octahedron abstract domain

    Robert Clarisó;Jordi Cortadella

  • High-level synthesis techniques for reducing the activity of functional units

    E. Musoll;J. Cortadella

  • A Region-Based Algorithm for Discovering Petri Nets from Event Logs

    Josep Carmona;Jordi Cortadella;Michael Kishinevsky

  • Applications and Theory of Petri Nets 2004

    Jordi Cortadella;Wolfgang Reisig

  • Handshake protocols for de-synchronization

    I. Blunno;J. Cortadella;A. Kondratyev;L. Lavagno

  • Elastic Circuits

    J. Carmona;J. Cortadella;M. Kishinevsky;A. Taubin

  • Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets

    Oriol Roig;Jordi Cortadella;Enric Pastor

  • Individual flip-flops with gated clocks for low power datapaths

    T. Lang;E. Musoll;J. Cortadella

  • Synthesizing Petri nets from state-based models

    Jordi Cortadella;Michael Kishinevsky;Luciano Lavagno;Alex Yakovlev

  • Evaluation of A+B=K conditions without carry propagation

    J. Cortadella;J.M. Llaberia

  • Exploiting the locality of memory references to reduce the address bus energy

    Enric Musoll;Tomás Lang;Jordi Cortadella

  • Symbolic analysis of bounded Petri nets

    E. Pastor;J. Cortadella;O. Roig

  • Coping with the variability of combinational logic delays

    J. Cortadella;A. Kondratyev;L. Lavagno;C. Sotiriou

  • Scheduling and resource binding for low power

    E. Musoll;J. Cortadella

Frequent Co-Authors

Michael Kishinevsky
Michael Kishinevsky Intel (United States)
Luciano Lavagno
Luciano Lavagno Polytechnic University of Turin
Alex Yakovlev
Alex Yakovlev Newcastle University
Sachin S. Sapatnekar
Sachin S. Sapatnekar University of Minnesota
Rosa M. Badia
Rosa M. Badia Barcelona Supercomputing Center
Tomás Lang
Tomás Lang University of California, Irvine
Ran Ginosar
Ran Ginosar Technion – Israel Institute of Technology
Wolfgang Reisig
Wolfgang Reisig Humboldt-Universität zu Berlin
Antonio Gonzalez
Antonio Gonzalez Universitat Politècnica de Catalunya
Grzegorz Rozenberg
Grzegorz Rozenberg Leiden University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

In today’s digital age, students seeking flexibility can take advantage of diverse online degree programs related to Computer Science. Attending one of the best online colleges allows you to balance your studies with work or other commitments while earning a recognized credential.

If you’re interested in creative and rapidly growing fields, consider a game design degree. This pathway develops skills in interactive media, software development, and digital storytelling. For those focused on protecting digital assets and understanding online threats, a cyber security degree opens the door to critical roles as organizations prioritize information security.

Additionally, if you are drawn to the intersection of technology and project leadership, pursuing the cheapest construction management degree online can lead to careers managing technology-driven building projects.

Each of these options provides a unique career pathway and enhances job prospects in today’s tech-driven workforce.

Best Scientists Citing Jordi Cortadella

Trending Scientists