Contact
- cliron at bgu.ac.il
- +972-8-6472028
- Building 37, Office 313 Faculty of Computer and Information Science Ben-Gurion University P.O.B 653 Be'er Sheva 84105, Israel
About Me
I am an associate professor in the Institute for the Theory of Computing of the Faculty of Computer and Information 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 Fulbright postdoctoral researcher at Cornell University hosted by Robert Constable.
I am interested 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
- On sabbatical at Cornell University during 2024-2025.
- 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 reach out via e-mail.