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

Research interests

I am interested broadly in connections between logic, computation, and mathematics.
My current research interests include:
  • Type theory
  • Theory and applications of proof assistants
  • Computer-aided verification and deduction
  • Constructive Logic
  • Category Theory
  • Computational mathematics


  • 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.