Concepedia

Author

Jiachun Shi

University of Illinois Urbana-ChampaignORCID

Also Known As

Jiachun Shi

9

Publications

47

Citations

2

H-Index

15

Concepts

All Affiliations

University of Illinois Urbana-Champaign
JS

About

Jiachun Shi is an author at University of Illinois Urbana-Champaign specializing in engineering, formal verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

43

2

Computer Science

1

1

12

3

Materials Science

1

1

31

4

Systems Engineering

1

1

12

5

Biophysics

1

1

31

Jiachun Shi

×

2

Publications

43

Citations

2

H-Index

YearCitations

Page 1