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


Curriculum Vitae

I am a faculty member in the school of computer science at the Interdisciplinary Center (IDC), Herzliya, Israel.

Education

2004-2008 Ph.D., Computer Science
Tel-Aviv University, Israel
Thesis: The Influence of Domain Interpretations on Computational Models
Supervisor: Professor Nachum Dershowitz
2002-2004 M.Sc., Computer Science, Cum Laude
Tel-Aviv University, Israel
Thesis: Comparing Computational Power
Supervisor: Professor Nachum Dershowitz
1990-1993 B.Sc., Math and Computer Science, Cum Laude
Tel-Aviv University, Israel

Employment

Oct 2019 - Associate Professor.
The Interdisciplinary Center, Herzliya, Israel
Oct 2013 - Senior Lecturer.
Oct 2019The Interdisciplinary Center, Herzliya, Israel
Feb 2011 - Postdoctoral research in computer science.
July 2013IST Austria, Klosterneuburg, Austria
Working in the group of professor Thomas Henzinger.
Nov 2008- Postdoctoral research in computer science.
Sep 2012The Hebrew University, Israel
Working in the group of professor Orna Kupferman.
1994-2001 R&D Director for Web Load Testing, Mercury Interactive (acquired by HP).
Initiating and leading the development of a new approach to load-testing over the Web
(patent no. WO/2003/023621), and building it into a central product of the company.
1993-1994 Software developer, SolidCam (formerly CadTech).
Working on communication protocols and data management in the CAD/CAM environment.
1990-1992 Software developer, Heidia.
Working on data management in the advertisement environment.