Concepedia

Author

Moonjoo Kim

University of Pennsylvania

Also Known As

Moonjoo Kim

32

Publications

563

Citations

8

H-Index

30

Concepts

All Affiliations

University of PennsylvaniaUniversity of Illinois Urbana-Champaign
MK

About

Moonjoo Kim is an author at University of Pennsylvania specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

324

2

Computer Science

5

5

324

3

Systems Engineering

3

3

183

4

Computer Engineering

2

2

95

5

Management

1

1

125

Moonjoo Kim

×

8

Publications

531

Citations

8

H-Index

YearCitations

Page 1