- E-mail: cliron at cs.bgu.ac.il
- Phone: +972-8-6472028-
- Office: Building 37, Office 313
Department of Computer Science
Be'er Sheva 84105, Israel
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.