Concepedia

Author

Pritam Choudhury

California University of PennsylvaniaORCID

Also Known As

Choudhury, Pritam, P. K. Choudhury, P.K. Choudhury, Pritam Choudhury

13

Publications

67

Citations

4

H-Index

13

Concepts

All Affiliations

California University of PennsylvaniaBryn Mawr College
PC

About

Pritam Choudhury is an author at California University of Pennsylvania specializing in formal verification, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

44

2

Computer Science

2

2

44

3

Language Studies

1

1

33

4

Linguistics

1

1

33

5

Compilers

1

1

11

Pritam Choudhury

×

2

Publications

44

Citations

2

H-Index

YearCitations

Page 1