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

I am interested broadly in connections between logic, computation, and mathematics.
My current research interests include:

• Type theory
• Theory and applications of proof assistants
• Computer-aided verification and deduction
• Constructive Logic
• Category Theory
• Computational mathematics