Concepedia

Author

Brian Aydemir

University of PennsylvaniaORCID

Also Known As

Aydemir, Brian, Brian Aydemir, Brian E. Aydemir

32

Publications

677

Citations

7

H-Index

19

Concepts

All Affiliations

University of PennsylvaniaUniversity of EdinburghInstitut national de recherche en sciences et technologies du numérique
BA

About

Brian Aydemir is an author at University of Pennsylvania specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

281

2

Social Sciences

2

2

243

3

Computer Science

2

2

243

4

Language Studies

1

1

38

5

Linguistics

1

1

38

Brian Aydemir

×

4

Publications

315

Citations

4

H-Index

YearCitations

Page 1