Concepedia

Author

Aditya Sharad

University of Oxford

Also Known As

Aditya Sharad

2

Publications

30

Citations

2

H-Index

7

Concepts

All Affiliations

University of OxfordGeorgia Institute of Technology
AS

About

Aditya Sharad is an author at University of Oxford specializing in formal verification, linguistics, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

30

2

Computer Science

2

2

30

3

Linguistics

2

2

30

4

Automated Reasoning

2

2

30

5

Computational Complexity

2

2

30

Aditya Sharad

×

2

Publications

30

Citations

2

H-Index

YearCitations

Page 1