Anshuman Mohan

Cornell University

H-index: 3

North America-United States

About Anshuman Mohan

Anshuman Mohan, With an exceptional h-index of 3 and a recent h-index of 3 (since 2020), a distinguished researcher at Cornell University, specializes in the field of Programming Languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

Formal abstractions for packet scheduling

Functional correctness of C implementations of dijkstra’s, kruskal’s, and prim’s algorithms

A functional proof pearl: inverting the Ackermann hierarchy

Anshuman Mohan Information

University	Cornell University
Position	PhD Student
Citations(all)	30
Citations(since 2020)	30
Cited By	8
hIndex(all)	3
hIndex(since 2020)	3
i10Index(all)	1
i10Index(since 2020)	1
Email	Access Email
University Profile Page	Cornell University
Google Scholar	View Google Scholar Profile