Concepedia

Author

Théo Zimmermann

The University of Texas at AustinORCID

Also Known As

Falleri, Jean-Rémy, T. Zimmermann, Theo Zimmermann, Théo Zimmermann, Zimmermann, Théo

42

Publications

1.5K

Citations

7

H-Index

8

Concepts

All Affiliations

The University of Texas at AustinÉcole Normale SupérieureÉcole Normale Supérieure - PSL
TZ

About

Théo Zimmermann is an author at The University of Texas at Austin specializing in automated reasoning, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

11

2

Computer Science

1

1

11

3

Software Analysis

1

1

11

4

Automated Reasoning

1

1

11

5

Formal Methods

1

1

11

Théo Zimmermann

×

3

Publications

1.4K

Citations

3

H-Index

YearCitations

Page 1