Dr. Liron Cohen

Assistant professor

Research: My research is motivated by the desire to understand the deep connection between proofs and computation. My areas of interest are automated reasoning, type theory and constructive mathematics.


Office: 313 in 37 building
Phone number: 08-6472028
Box number: 53
Office hours: Wed 10:00-12:00


Fall 2019-2020 20211011 Introduction to Computer Science
Spring 2020 20224981 Logical Foundations using the Coq Proof Assistant

Research groups

Distributed Systems and Computations
Logic and Semantics
Programming languages
Software engineering and verification
Theorem proving and type theory