Photo of Cthulu 

Liron Cohen

Postdoctoral Associate
Department of Computer Science
Cornell University

Contact info
  • E-mail: lironcohen@cornell.edu 
  • Phone: +1-607-255-9223
  • Office: 332 Gates Hall, Cornell
                Ithaca, NY 14850, USA [map]
Research interests
  • Proof theory
  • Type theory
  • Foundations of mathematics
  • Predicative set theory
  • Logic education
Publications
  • A Minimal Framework for Applicable Mathematics
    Arnon Avron and Liron Cohen
    Submitted
  • Formalizing Scientifically Applicable Mathematics in a Definitional Framework [pdf,JFR]
    Arnon Avron and Liron Cohen
    Journal of Formalized Reasoning, 2015
  • Intuitionistic Ancestral Logic [pdf, Oxford Journals]
    Liron Cohen and Robert Constable
    Journal of Logic and Computation, 2015
  • Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language [pdf, SpringerLink]
    Liron Cohen and Robert Constable
    Proceedings of WoLLIC, 2015
  • The Middle Ground - Ancestral Logic [pdf, SpringerLink]
    Liron Cohen and Arnon Avron
    Synthese, special issue ''Between First- and Second-order Logic'', 2014
  • Ancestral Logic: A Proof Theoretical Study [pdf, SpringerLink]
    Liron Cohen and Arnon Avron
    Proceedings of WoLLIC, 2014
Theses
  • Formalizing Mathematics via Predicative and Constructive Approaches [pdf]
    Ph.D. Thesis
    Tel Aviv University, 2016
  • Ancestral Logic and Equivalent Systems [pdf]
    M.Sc. Thesis
    Tel Aviv University, 2010
Presentations in International Conferences and Workshops
  • Predicative Mathematics via Safety Relations [abstract]
    Logic Colloquium, 2014
  • Intuitionistic Ancestral Logic [abstract]
    Proof, Structure and Computation workshop, Affiliated with CSL-LICS, 2014
  • Ancestral Logic [abstract]
    Between First and Second Order Logic workshop, Unilog, 2013
Awards and Fellowships
  • Fulbright Post-doctoral Fellowship
    The United States-Israel Educational Foundation, 2016
  • National Post-doctoral Award for Advancing Women in Science
    Weizmann Institute of Science, 2016
  • Eric and Wendy Schmidt Postdoctoral Award for Women in Mathematical and Computing Sciences
    The Eric and Wendy Schmidt Fund for Strategic Innovation, 2016
  • Post-doctoral Fellowship for Advancing Women in STEM (Declined)
    The Israeli Council For Higher Education, 2016
  • Women in Science and Engineering Fellowship (Twice)
    Ministry of Science, Technology and Space, Israel, 2013--2016
  • Google Anita Borg Memorial Scholarship (Finalist)
    Google, 2013
  • Rector’s Award for Outstanding Teaching
    Tel Aviv University, 2012
  • Annual Outstanding Teacher Award
    School of Computer Science, Tel Aviv University, 2010--2015
Teachings
  • Tel-Aviv University:
    • Logic for computer science
    • Discrete mathematics
    • Introduction to discrete mathematics
    • Differential and integral calculus
    • Mathematics for economists: course B
  • Tel Aviv-Yaffo Academic College:
    • Introduction to logic and set theory
    • Discrete mathematics
Events