עברית

Prof. Udi Boker

Efi Arazi School of Computer Science Ph.D., Tel Aviv University

Research and Teaching Expertise

  • Formal Verification
  • Automatic Verification of Programs
  • Logic and Set Theory
  • Automata Theory
  • Computational models and Computability
  • Udi Boker received his PhD in Computer Science from the Tel Aviv University. After his studies he continued to a postdoc in the Hebrew University and in the institute of science and technology (IST) Austria. His research is in the areas of formal verification, automata theory, computational models, computability, and logic. In the industry, he was an R&D director in Mercury Interactive (later acquired by HP), initiating and leading the development of a new approach to load-testing over the Web.