Welcome

Address:	School of Informatics
	Indiana University
	901 E. 10th Street, I223
	Bloomington, IN 47406
	USA
Email:	ehaghver@indiana.edu
Telephone:	1 (812) 856-1089
Office:	1016

Research

Those who know that they are profound strive for clarity. Those who would like to seem profound strive for obscurity.

The sole end of science is the honor of the human mind, and under this title a question about numbers is worth as much as a question about the system of the world.

• Areas of Interest
  Linear Logic and Geometry of Interaction
  Category Theory

• Front for Mathematics Arxiv

• Date and Time

• Google

• Publications

• Relevant Conferences

• Relevant Journals

• NOAA's National Weather Service Regional Office

• My Favourite Sites

• My Favourite Books

Teaching

Fall 2008: INFO I201 Mathematical Foundations of Informatics


Fall 2007: INFO I590 Topics in Informatics: Mathematical Methods in Bioinformatics


Fall 2007: INFO I399 Topics in Informatics: Politics by Numbers


Spring 2007: INFO I690 Topics in Informatics: Model Theory


Spring 2007: INFO I201 Mathematical Foundations of Informatics


Fall 2006: INFO I201 Mathematical Foundations of Informatics

Summer 2006: INFO I590 Topics in Informatics: Cohomology of Computing

Summer 2006: INFO I201 Mathematical Foundations of Informatics

Spring 2006: INFO I690 Topics in Informatics: Algebraic Proof Theory

Spring 2006: INFO I201 Mathematical Foundations of Informatics

Spring 2005: MATH M211 Calculus I.

Fall 2004: INFO I590 Topics in Informatics: Mathematical Methods in Bioinformatics.

Fall 2004: INFO I201 Mathematical Foundations of Informatics

Spring 2004: INFO I201 Mathematical Foundations of Informatics

Fall 2003: INFO I201 Mathematical Foundations of Informatics

Fall 2003: MATH M781- Topics in Logic: Domains and Lambda-Calculi

Spring 2003: MATH M301- Linear Algebra and Applications

Spring 2003: INFO I201- Mathematical Foundations of Informatics

Fall 2002: INFO I201- Mathematical Foundations of Informatics

Teaching at UPenn

Spring 2002: MATH 671 Topics in Logic: Game Theory and Multiagent Systems
Fall 2001:MATH 670 Topics in Logic: Linear Logic and Game Semantics
Fall 2001:MATH 151 Calculus for the Social and Biological Sciences II
Spring 2001:MATH 360 Advanced Calculus I

Fall 2000:MATH 150 Calculus for the Social and Biological Sciences I

Fall 2000:MATH 361 Advanced Calculus II