Concepedia

Author

Aseem Rastogi

Microsoft (United States)ORCID

Also Known As

Aseem Rastogi, Aseem Rastogi, Rastogi, Aseem

47

Publications

1.6K

Citations

15

H-Index

40

Concepts

All Affiliations

Microsoft (United States)Microsoft Research (India)Microsoft Research (United Kingdom)Institut national de recherche en sciences et technologies du numériqueState Key Laboratory of Cryptology
AR

About

Aseem Rastogi is an author at Microsoft (United States) specializing in formal verification, engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

14

15

1.5K

2

Computer Science

14

15

1.5K

3

Computer Engineering

7

7

591

4

Compilers

4

4

154

5

Data Science

1

1

45

Aseem Rastogi

×

18

Publications

1.5K

Citations

14

H-Index

YearCitations

Page 1