Udi Boker

Udi Boker

udiboker@runi.ac.il
Tel: +972-9-9527690
Office 122
Computer Science building
Reichman University, Israel

Home Page

Curriculum vitae

Publications

Automata Translations

Logic Lexicon


I am a faculty member in the school of computer science at the Reichman University, Herzliya, Israel.

Prior to that I was a postdoc in Thomas A. Henzinger's group at the Institute of Science and Technology Austria (IST Austria), and in Orna Kupferman's group at the Hebrew University of Jerusalem. I have done my PhD under the supervision of Nachum Dershowitz at the Tel-Aviv University.

Research

My research interests include formal verification, automata theory, game theory, logic, computational models, and computability.

Teaching These Years

  • Automata and Games
  • Formal Verification
  • Advanced Topics in Logic
  • Logic and Set Theory
  • Logic, Mathematics, and Philosophy
  • Artificial Intelligence and Morality

Selected Publications (full list)