Udi Boker

Udi Boker

udiboker@idc.ac.il
Tel: +972-9-9527690
Office: 122, Computer Science and Communication building, IDC Herzliya, Israel

Home Page

Curriculum vitae

Publications

Automata Translations

Logic Lexicon


I am a faculty member in the school of computer science at the Interdisciplinary Center (IDC), 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, logic, computational models, and computability.

Teaching These Years

  • Automata and Games
  • Advanced Topics in Logic
  • Automatic Verification of Programs
  • Logic and Set Theory
  • Discrete Mathematics

Selected Publications (full list)