• E-mail: cliron at
  • Phone: +972-8-6472028
  • Office: Building 37, Office 313
                Computer Science Department
                Ben-Gurion University
                P.O.B 653
                Be'er Sheva 84105, Israel

About Me

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.
My research interests include (but are not limited to):
  • Type systems and computational models
  • Theorem proving and automated reasoning
  • Logic and proof theory
  • Computational mathematics
  • News

    • I am looking for highly motivated students (PhD and MSc) and postdocs interested in automated reasoning, logic , type theory and formal methods in general. Please send me an email including your CV.