profile photo

Eissa Haydar

Email: e[mylastname]@cmu.edu

I am a first-year PhD student in Philosophy at Carnegie Mellon University. I did my undergraduate studies at the University of Michigan, where I studied philosophy (graduating with highest honors) and pure mathematics, with a minor in computer science.

I primarily work in logic and formal epistemology, particularly computability theory. I study complexity and information in the contexts of language, learning, and mathematics. I am also interested in the philosophy of probability theory, and in the philosophy of science.

My CV will be linked here when I make one.

Academic Work

  • Measuring the complexity of characterizing \([0, 1]\), \(S^1\), and \(\mathbb{R}\) up to homeomorphism (with Matthew Harrison-Trainor) This paper studies the complexity of topological spaces. Basically, given a computable presentation of a space like the unit interval or a circle, how difficult is it to know exactly which space you have? This work began during a summer 2023 REU, where Matthew was my mentor.

    Submitted for publication. [ pdf ] [ arXiv ]
  • Costly Invention Informs Compositional Signaling This paper studies the relationship between compositionality and invention in signaling games, seen as a generalization of language.

    Undergraduate honors thesis, advised by Jim Joyce. [ pdf ] [ story ]

Teaching Experience

  • Instructional Aide for CSE 543: Ethics for AI and Robotics (Winter 2024; University of Michigan)