Indiana University School of Informatics
Research
Faculty Research Profiles

Esfandiar Haghverdi

Faculty Title

Associate Professor of Informatics

  • Abramsky S., Haghverdi E., Scott P.J., “Geometry of Interaction and Linear Combinatory Algebras”. Mathematical Structures in Computer Science, vol. 12(5), 2002, pp. 625–665. Cambridge University Press.
  • Haghverdi E., “Partially Additive Categories and Fully Complete Models of Linear Logic”, Proceedings of Typed Lambda Calculi and Applications (TLCA'01), Springer Lecture Notes in Computer Science, vol. 2044, 2001, pp.197–216.
  • Haghverdi E., “Unique Decomposition Categories, Geometry of Interaction and Combinatory Logic”, Mathematical Structures in Computer Science, vol 10(2), 2000, pp. 205–231. Cambridge University Press.
  • Haghverdi E., Ural H., “Submodule Construction from Concurrent System Specifications”, Information and Software Technology, vol. 41, number 8, 1999, pp. 499-506, Elsevier Science B.V.
  • Haghverdi E., Inan K., “Verification by Consecutive Projections, Proc. Int. Conf. on Formal Description Techniques”, FORTE’92, Edited by M. Diaz and R. Groz. Formal Description Techniques V, North-Holland IFIP series, Amsterdam, 1993, pp. 465–478.
  • Haghverdi E., Inan K., A Verification Method Based on Hoare Semantics, Proc. International Symposium on Computer and Information Sciences, ISCIS VII, Edited by E. Gelenbe., 1992, pp. 439–446.

More Information

Esfandiar Haghverdi

Our faculty research profiles highlight the research interests and accomplishments of a select faculty member from the IU School of Informatics. View all