LabCompass

Esfandiar Haghverdi

Computer Science · Indiana University

OpenAlex
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicFormal Methods in VerificationHomotopy and Cohomology in Algebraic Topology

Publications

23

Citations

554

Est. group size

—

Recurring co-author estimate

Active years

35

Publishing since 1992

Research summary
AI-generated

Esfandiar Haghverdi works in the theoretical foundations of computer science, using tools from mathematical logic and category theory (an abstract branch of mathematics that studies structures and the relationships between them). Recent work applies categorical methods to areas such as additive combinatorics and the mathematical foundations of information sciences.

Category theoryMathematical logic and type systemsFormal methods and verificationFoundations of information sciencesAlgebra and combinatorics

Publication activity has been low and intermittent over the past decade, with a small number of works appearing only in recent years.

Generated by claude-opus-4-8 from public bibliographic data · Jul 11, 2026

Publication cadence
Publications per year over the last 10 years — averaging 0.6/year recently
1718192021222023: 1 publication123242025: 1 publication1252026: 1 publication126
Recent publications
Publishes in
  • SpringerPlus×1
  • WORLD SCIENTIFIC eBooks×1
  • arXiv (Cornell University)×1
  • Applied Categorical Structures×1

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 11, 2026.

Claim or correct this profile