# Jordi Cortadella

> Catalan computer scientist

**Wikidata**: [Q30122211](https://www.wikidata.org/wiki/Q30122211)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Jordi_Cortadella)  
**Source**: https://4ort.xyz/entity/jordi-cortadella

## Summary
Jordi Cortadella is a Catalan computer scientist known for his work in computer architecture and digital systems design. He is a professor at the Polytechnic University of Catalonia and a Fellow of the IEEE. His research has significantly contributed to the field of asynchronous circuits and formal verification methods.

## Biography
- Born: 1962
- Nationality: Spanish
- Education: Polytechnic University of Catalonia
- Known for: Contributions to asynchronous circuits and formal verification
- Employer(s): Polytechnic University of Catalonia
- Field(s): Computer science, computer architecture, digital systems

## Contributions
Jordi Cortadella has made significant contributions to the field of computer architecture, particularly in asynchronous circuits and formal verification methods. His research has led to advancements in the design and analysis of digital systems, improving their efficiency and reliability. Cortadella has published numerous papers on these topics, influencing both academic research and practical applications in the industry. His work on asynchronous circuits has been particularly impactful, offering alternatives to traditional synchronous designs that can lead to more energy-efficient and faster computing systems.

## FAQs
### Q: What is Jordi Cortadella known for?
A: Jordi Cortadella is known for his contributions to computer architecture, particularly in asynchronous circuits and formal verification methods. He is a professor at the Polytechnic University of Catalonia and an IEEE Fellow.

### Q: Where does Jordi Cortadella work?
A: Jordi Cortadella works at the Polytechnic University of Catalonia, where he is a professor in the Department of Computer Architecture.

### Q: What are some of Jordi Cortadella's notable achievements?
A: Some of Jordi Cortadella's notable achievements include his research on asynchronous circuits, his contributions to formal verification methods, and his recognition as an IEEE Fellow. He has also supervised numerous doctoral students in his field.

## Why They Matter
Jordi Cortadella's work has been crucial in advancing the field of computer architecture, particularly in the area of asynchronous circuits. His research has provided alternatives to traditional synchronous designs, potentially leading to more efficient and faster computing systems. By developing formal verification methods, Cortadella has also contributed to improving the reliability and correctness of digital systems. His influence extends beyond his own research, as he has mentored numerous students who continue to contribute to the field. The practical applications of his work have implications for various industries, from consumer electronics to high-performance computing.

## Notable For
- IEEE Fellow for contributions to asynchronous circuits and formal verification
- Professor at the Polytechnic University of Catalonia
- Supervisor of numerous doctoral students in computer architecture
- Author of influential papers on asynchronous circuits and formal verification
- Member of Academia Europaea in the Informatics section

## Body
### Academic Career
Jordi Cortadella has built his career at the Polytechnic University of Catalonia, where he serves as a professor in the Department of Computer Architecture. His academic work focuses on computer architecture, digital systems design, and formal verification methods.

### Research Contributions
Cortadella's research has primarily centered on asynchronous circuits and formal verification. His work in asynchronous circuits has explored alternatives to traditional synchronous designs, potentially offering benefits in terms of energy efficiency and performance. In formal verification, he has developed methods to ensure the correctness of digital systems, which is crucial for complex computing architectures.

### Publications and Influence
Throughout his career, Cortadella has published numerous papers on his research topics. These publications have contributed to the academic discourse in computer architecture and have influenced both theoretical understanding and practical applications in the field. His work has been cited by other researchers, indicating its impact on the broader scientific community.

### Mentorship and Academic Leadership
As a professor, Cortadella has supervised multiple doctoral students, contributing to the education and development of the next generation of computer scientists. His role as an academic mentor has helped shape the careers of many researchers in the field of computer architecture and related areas.

### Professional Recognition
Cortadella's contributions to the field have been recognized through his election as an IEEE Fellow, a prestigious honor in the engineering and technology community. Additionally, his membership in the Academia Europaea in the Informatics section further acknowledges his standing in the European scientific community.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Jordi Cortadella",
  "jobTitle": "Professor of Computer Architecture",
  "worksFor": {
    "@type": "Organization",
    "name": "Polytechnic University of Catalonia"
  },
  "nationality": {
    "@type": "Country",
    "name": "Spain"
  },
  "birthDate": "1962",
  "alumniOf": {
    "@type": "EducationalOrganization",
    "name": "Polytechnic University of Catalonia"
  },
  "knowsAbout": [
    "Computer Architecture",
    "Asynchronous Circuits",
    "Formal Verification",
    "Digital Systems Design"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q54919",
    "https://en.wikipedia.org/wiki/Jordi_Cortadella"
  ],
  "description": "Catalan computer scientist known for contributions to asynchronous circuits and formal verification methods"
}

## References

1. BnF authorities
2. [Source](https://orcid.org/0000-0001-8114-250X)
3. [Source](https://www.educacion.es/teseo/mostrarRef.do?ref=50964)
4. [Source](http://hdl.handle.net/2117/182125)
5. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=455208)
6. [Source](https://futur.upc.edu/26718169)
7. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=437109)
8. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=383208)
9. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=314391)
10. [Source](http://hdl.handle.net/2117/93287)
11. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=294042)
12. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=272835)
13. [Source](https://futur.upc.edu/1702847)
14. [Source](http://hdl.handle.net/10803/5998)
15. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=168714)
16. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=168729)
17. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=136011)
18. [Source](http://hdl.handle.net/2117/131423)
19. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=447222)
20. [Source](https://futur.upc.edu/1703788)
21. [Source](http://hdl.handle.net/2117/130006)
22. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=446730)
23. [Source](http://hdl.handle.net/2117/113683)
24. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=441657)
25. [Source](http://hdl.handle.net/2117/108500)
26. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=443094)
27. [Source](http://hdl.handle.net/2117/94918)
28. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=350988)
29. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=338739)
30. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=334653)
31. [Source](https://www.educacion.gob.es/teseo/mostrarRef.do?ref=334650)
32. Virtual International Authority File
33. [Source](https://www.ae-info.org/ae/User/Cortadella_Jordi)
34. IdRef
35. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0001-8114-250X/researcher-urls/1507989)
36. [SciGraph](https://scigraph.springernature.com/person.014110016061.74)