Concepedia

Author

Jean-Yves Girard

Centre National de la Recherche Scientifique

Also Known As

Girard, Jean-Yves, J. Y. Girard, J.-Y. Girard, JEAN-YVES GIRARD, Jean-Yves Girard, Thomas Ehrhard

98

Publications

10.3K

Citations

32

H-Index

29

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueUniversité Paris CitéInstitut de Mathématiques de MarseilleInstitut de Mathématiques de Jussieu-Paris Rive GaucheUniversity of Ottawa
JG

About

Jean-Yves Girard is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

953

2

Language Studies

6

6

666

3

Computer Science

3

3

571

4

Social Sciences

1

1

29

5

Classics

1

1

29

Jean-Yves Girard

×

19

Publications

6.2K

Citations

16

H-Index

YearCitations

Page 1