Contact

  • E-mail: lironcohen@cornell.edu
  • Phone: +1-607-255-9223
  • Office: 332 Gates Hall
                Cornell University
                Ithaca
                NY 14850, USA [map]

Research interests

I am interested broadly in connections between logic, computation, and mathematics.

  • Type theory
  • Theory and applications of proof assistants
  • Logic
  • Automated deduction
  • Computational mathematics
  • Mathematics education