Concepedia

Author

Jean-Karim Zinzindohoué

Microsoft (United States)

Also Known As

Jean-Karim Zinzindohoue, Jean-Karim Zinzindohoué, Zinzindohoué, Jean-Karim

6

Publications

658

Citations

6

H-Index

18

Concepts

All Affiliations

Microsoft (United States)Institut national de recherche en sciences et technologies du numériqueIMDEA Software InstituteState Key Laboratory of CryptologyUniversity of Maryland, College Park
JZ

About

Jean-Karim Zinzindohoué is an author at Microsoft (United States) specializing in formal verification, engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

606

2

Computer Science

4

4

606

3

Computer Engineering

1

1

98

4

Compilers

1

1

98

5

Data Privacy

1

1

196

Jean-Karim Zinzindohoué

×

5

Publications

616

Citations

5

H-Index

YearCitations

Page 1