Postdoctoral Fellows

Gal Amram, Israel

Ph.D. from Ben Gurion University, Israel

Research field: Tools for Reactive Synthesis

Hosted by academic staff member: Prof. Shahar Maoz

Keerti Choudhary, India

Ph.D. from IIT Kanpur

Research field: Graph Algorithms

Hosted by academic staff member: Dr. Shiri Chechik

Ankit Gupta, India

Ph.D. from the Chennai Mathematical Institute

Research field: Arithmetic complexity, algorithmic algebra

Hosted by academic staff member: Dr. Jonathan Berant

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

Lianrong Pu, China

Ph.D. from Shandong University (SDU), Jinan, China

Research field: Algorithms for Genome Rearrangement in Cancer

Hosted by academic staff member: Prof. Ron Shamir

Runtian Ren

Ph.D. from the Nanyang Technological University (NTU), Singapore

Research field: Distributed algorithm designs and distributed graph theory

Hosted by academic staff members: Prof. Yossi Azar and Dr. Shiri Chechik

Karthik C. S., India

Ph.D. from the Weizmann Institute of Science

Research field: Hardness of Approximation, Combinatorial Geometry, and Fine-Grained Complexity

Hosted by academic staff member: Prof. Amir Shpilka

Jérôme Tubiana, France

Ph.D. from Ecole Normale Supérieure, Paris

Research field: Machine Learning of the Sequence-Structure-Function Relationship in Proteins

Hosted by academic staff member: Prof. Haim Wolfson