- cliron at cs.bgu.ac.il
- Building 37, Office 313
Computer Science Department
Be'er Sheva 84105, Israel
About MeI 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 Fulbright postdoctoral researcher at Cornell University hosted by Robert Constable.
My research interests include (but are not limited to):
- 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.