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


Curriculum Vitae

I am a faculty member in the school of computer science at the Reichman University, 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

Since 2019 Associate Professor.
Reichman University, Herzliya, Israel
2013-2019 Senior Lecturer.
Reichman University, Herzliya, Israel
2011-2013 Postdoctoral research in computer science.
IST Austria, Klosterneuburg, Austria
Working in the group of professor Thomas Henzinger.
2009-2012 Postdoctoral research in computer science.
The 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.