Liron Cohen
Postdoctoral Associate
Department of Computer Science
Cornell University

 Contact info


Email: lironcohen@cornell.edu

Phone:
+16072559223

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 Secondorder 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 CSLLICS, 2014

Ancestral Logic [abstract]
Between First and Second Order Logic workshop, Unilog, 2013

 Awards and Fellowships


Fulbright Postdoctoral Fellowship
The United StatesIsrael Educational Foundation, 2016

National Postdoctoral 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

Postdoctoral 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, 20132016

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, 20102015

 Teachings


TelAviv University:

Logic for computer science

Discrete mathematics

Introduction to discrete mathematics

Differential and integral calculus

Mathematics for economists: course B

Tel AvivYaffo Academic College:

Introduction to logic and set theory

Discrete mathematics

 Events

