Liron Cohen

Assistant Professor

Year

2016
Program

Israeli Women's Postdoctoral Award
Institution

Ben-Gurion University of the Negev
Field of Study

Computer Science
Location

Israel

I am a faculty member in the Department of Computer Science at Ben-Gurion University in Israel. I did my PhD at Tel Aviv University under the supervision of Arnon Avron. Subsequently, I was a postdoctoral researcher at Cornell University hosted by Robert Constable. I am interested broadly in connections between proofs, computation, and mathematics. More concretely, my research interests include (but are not limited to): type systems and computational models, theorem proving and automated reasoning, logic and proof theory, and computational mathematics.