Concepedia

Author

Adam Chlipala

Massachusetts Institute of TechnologyORCID

Also Known As

A.J. Chlipala, ADAM CHLIPALA, Adam Chlipala, Adam J. Chlipala, Chlipala, Adam, Chlipala, Adam; Harvard University, Ye, Qianchuan

128

Publications

3.1K

Citations

28

H-Index

77

Concepts

All Affiliations

Massachusetts Institute of TechnologyHarvard University PressUniversity of California, BerkeleyIIT@MIT
AC

About

Adam Chlipala is an author at Massachusetts Institute of Technology specializing in engineering, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

25

43

2.3K

2

Computer Engineering

14

16

926

3

Language Studies

2

2

252

4

Arts

1

1

13

5

Management

1

1

19

Adam Chlipala

×

51

Publications

2.5K

Citations

25

H-Index

YearCitations

Page 1