פוסט דוקטורנטים

Gal Amram, Israel

Ph.D. from Ben Gurion University, Israel

Research field: Tools for Reactive Synthesis

Hosted by academic staff member: Prof. Shahar Maoz

Anat Ganor, Israel

Ph.D. from Weizmann Institute of Science

Research field: Complexity theory and information theory

Hosted by academic staff members: Prof. Iftach Haitner and Prof. Amir Shpilka

Ankit Gupta, India

Ph.D. from the Chennai Mathematical Institute

Research field: Arithmetic complexity, algorithmic algebra

Hosted by academic staff member: Prof. Amir Shpilka

Artem Khyzha, Ukraine

Ph.D. from IMDEA Software Institute and Technical University of Madrid, Spain

Research fields: Design and implementation of multi-core algorithms, data structures and software transactional

memory systems; Formal methods and tools for verification of concurrent software.

Hosted by academic staff member: Dr. Adam Morrison

Nikolaos Makriyannis, Spain

Ph.D. from Universitat Pompeu Fabra, Barcelona

Research field: Cryptography, Secure Computation (MPC), Fairness in MPC

Hosted by academic staff member: Prof. Iftach Haitner 

Eliran Shertzer, Israel

Ph.D. from Ben Gurion University, Israel

Research field: Stochastic processes and Optimization

Hosted by academic staff member: Prof. Hanoch Levy