Abhiram Kumar

Abhiram Kumar is an Adjunct Professor and part-time faculty member in the Department of Mathematics at the University of Pittsburgh's Dietrich School of Arts and Sciences. His contact information is available via email: abk134@pitt.edu. He is advised by Thomas Hales, a prominent figure in formal verification and geometry.

Though specific research interests are not explicitly detailed, his affiliation with the Mathematics Department suggests expertise in areas such as formal verification, geometry, and related mathematical disciplines. No recent publications, awards, or grants are listed in the provided text.

Abhiram’s role as part-time faculty indicates a flexible academic engagement, potentially combining teaching or research responsibilities with other professional commitments.