Concepedia

Author

Pedro Ojeda

University of Illinois Urbana-Champaign

Also Known As

P. Ojeda, Pedro Ojeda

7

Publications

61

Citations

4

H-Index

10

Concepts

All Affiliations

University of Illinois Urbana-Champaign
PO

About

Pedro Ojeda is an author at University of Illinois Urbana-Champaign specializing in automated reasoning, formal verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

24

2

Computer Science

1

1

24

3

Compilers

1

1

24

4

Mathematical Foundations

1

1

24

5

Programming Languages

1

1

24

Pedro Ojeda

×

1

Publications

24

Citations

1

H-Index

YearCitations

Page 1