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.

  • Theory and application of proof assistants
  • Logic and type theory
  • Computational mathematics
  • Automated Deduction
  • Mathematics education