Go Top
Skip links to main content
Team
Courses
Seminar
Publications
Prof. Omri Ben-Eliezer
Prof. Keren Censor-Hillel
Prof. Yuval Filmus
Prof. Eldar Fischer
Prof. Yuval Ishai
Prof. Eyal Kushilevitz
Prof. Seffi Naor
Prof. Ron Rothblum
Prof. Roy Schwartz
Prof. Hadas Shachnai
Prof. David Wajc
Events
Positions
Team
All People
By Research Area
By Faculty Member:
Keren Censor-Hillel
Yuval Filmus
Roy Schwartz
Seffi Naor
Ron Rothblum
Yuval Ishai
Eldar Fischer
Hadas Shachnai
David Wajc
Omri Ben-Eliezer
Keren Censor-Hillel
Graduate Students
Ph.D
Tomer Even
Advisor(s):
Keren Censor-Hillel
M.Sc
Ariel Shaham
Advisor(s):
Keren Censor-Hillel
Yoav Aviv
Advisor(s):
Keren Censor-Hillel, Hagit Attiya
Former
Ami Paz
Faculty at CNRS and Paris-Saclay University
,
Advisor(s):
Keren Censor-Hillel
Gregory Schwartzman
Faculty at JAIST; PhD
,
2017
,
Advisor(s):
Keren Censor-Hillel
Michal Dory
Faculty at University of Haifa
,
PhD (2020)
,
Advisor(s):
Keren Censor-Hillel
Yannic Maus
Faculty at TU Graz
,
Postdoc (2019–2021)
,
Advisor(s):
Keren Censor-Hillel
Seri Khoury
PhD student at UC Berkeley
,
Advisor(s):
Keren Censor-Hillel
Yuval Efron
PhD student at Columbia University; Postdoc at IAS
,
MSc (2020)
,
Advisor(s):
Keren Censor-Hillel
Pai Shreyas
Intern (2019)
,
Advisor(s):
Keren Censor-Hillel
Dean Leitersdorf
PhD (2022)
,
Advisor(s):
Keren Censor-Hillel
Einav Huberman
MSc (2025)
,
Advisor(s):
Keren Censor-Hillel
Fabien Dufoulon
Postdoc (2019–2021)
,
Advisor(s):
Keren Censor-Hillel
Julian Ewaied
MSc (2026)
,
Advisor(s):
Keren Censor-Hillel
Majd Khoury
Advisor(s):
Keren Censor-Hillel
Matthias Bonne
MSc (2019)
,
Advisor(s):
Keren Censor-Hillel
Noa Marelly
Advisor(s):
Keren Censor-Hillel, Roy Schwartz
Shahar Romem Peled
Advisor(s):
Keren Censor-Hillel
Tigran Tonoyan
Postdoc (2019–2021)
,
Advisor(s):
Keren Censor-Hillel
Volodymyr Polosukhin
Advisor(s):
Keren Censor-Hillel
Yuval Filmus
Post Docs
Ashvni Narayanan
Advisor(s):
Yuval Filmus, Ido Kaminer
Research Interests:
Proof assistants and AI for math
Graduate Students
Ph.D
Antoine Vinciguerra
Office:
Taub 210
Advisor(s):
Yuval Filmus
Research Interests:
Boolean functions
Yaroslav Alekseev
Office:
Taub 210
Advisor(s):
Yuval Filmus
M.Sc
Elizaveta Nesterova
Advisor(s):
Yuval Filmus, Shay Moran
Former
Marc Vinyals
Faculty at University of Auckland
,
2019–2021
,
Advisor(s):
Yuval Filmus
Nathan Lindzey
Faculty at University of Memphis
,
Advisor(s):
Yuval Filmus
Nitin Saurabh
Faculty at IIT Hyderabad
,
2019–2021
,
Advisor(s):
Yuval Filmus
Alexander V. Smal
Former postdoc; now at JetBrains Research
,
Advisor(s):
Roy Schwartz, Yuval Filmus
Gaurav Sood
Postdoc at University of Haifa
,
Advisor(s):
Yuval Filmus
Idan Mehalel
PhD (2024); now postdoc at HUJI and MIT
,
Advisor(s):
Yuval Filmus, Shay Moran
Yuval Dagan
PhD student at MIT; now postdoc at UC Berkeley
,
2015-2018 (MSc)
,
Advisor(s):
Yuval Filmus
Krishnamoorthy Dinesh
Advisor(s):
Yuval Filmus
Avraham Kaplan
2017–2023
,
Advisor(s):
Yuval Filmus, Yuval Ishai
Dovid Braverman
Advisor(s):
Yuval Filmus
Gilad Chase
2020–2023
,
Advisor(s):
Yuval Filmus
Johnathan Spiegelman
MSc student; then PhD student at MPI
,
Advisor(s):
Yuval Filmus
Joseph Swernofsky
Advisor(s):
Yuval Filmus
Nathan Lindzey
Advisor(s):
Yuval Filmus
Neta Dafni
2022
,
Advisor(s):
Yuval Filmus
Roy Schwartz
Graduate Students
Ph.D
Baruch Weizmann
Advisor(s):
Roy Schwartz
M.Sc
Evan Abboud
Advisor(s):
Roy Schwartz
Former
Alexander V. Smal
Former postdoc; now at JetBrains Research
,
Advisor(s):
Roy Schwartz, Yuval Filmus
Amit Ganz
Researcher at NextSilicon
,
Advisor(s):
Roy Schwartz
Ariel Kulik
2021
,
Advisor(s):
Roy Schwartz
Ayelet Kravi
Advisor(s):
Seffi Naor, Roy Schwartz
Dor Katzelnick
Research Scientist at IBM R&D
,
PhD (2025)
,
Advisor(s):
Roy Schwartz
Emil Barel
Advisor(s):
Roy Schwartz
Eyal Mizrachi
Advisor(s):
Roy Schwartz
Gilad Kutiel
2019
,
Advisor(s):
Roy Schwartz
Nitzan Tur
Advisor(s):
Roy Schwartz
Noa Marelly
Advisor(s):
Keren Censor-Hillel, Roy Schwartz
Ran Yeheskel
Advisor(s):
Roy Schwartz
Roded Zats
Advisor(s):
Roy Schwartz
Yarden Adir
Advisor(s):
Roy Schwartz
Yotam Sharoni
Advisor(s):
Roy Schwartz
Seffi Naor
Graduate Students
M.Sc
Jonny Gal
Advisor(s):
Seffi Naor
Tomer Tsachor
Phone:
077-887-4890
Office:
329
Advisor(s):
Seffi Naor
Former
Ayelet Kravi
Advisor(s):
Seffi Naor, Roy Schwartz
Michael Litvak
Advisor(s):
Seffi Naor
Ohad Talmon
Algorithms Researcher at Via
,
2021
,
Advisor(s):
Seffi Naor
Tomer Lange
Senior Quantum Researcher at QEDMA
,
PhD (2025)
,
Advisor(s):
Seffi Naor, Gala Yadgar
Yaron Fairstein
Amazon
,
2021
,
Advisor(s):
Seffi Naor
Ron Rothblum
Graduate Students
Ph.D
Gabrielle Lalou
Office:
330
Advisor(s):
Ron Rothblum, Yuval Ishai
Former
Shafik Nassar
PhD student at UT Austin
,
Advisor(s):
Ron Rothblum
Eden Florentz-Konopnicki
Advisor(s):
Ron Rothblum
Eyal Kushnir
Advisor(s):
Ron Rothblum
Inbar Kaslasi
2021
,
Advisor(s):
Ron Rothblum
Kirill Kutsenok
PhD student at King's College London
,
MSc (2025)
,
Advisor(s):
Yuval Ishai, Ron Rothblum
Liron Bronfman
2021
,
Advisor(s):
Ron Rothblum
Michael Ezra
2021
,
Advisor(s):
Ron Rothblum
Noor Athamnah
PhD student at Harvard University
,
MSc (2025)
,
Advisor(s):
Ron Rothblum
Or Keret
Advisor(s):
Ron Rothblum
Tomer Gewirtzman
Advisor(s):
Ron Rothblum
Yuval Ishai
Graduate Students
Ph.D
Gabrielle Lalou
Office:
330
Advisor(s):
Ron Rothblum, Yuval Ishai
Former
Ariel Nof
Faculty at Bar-Ilan University
,
Advisor(s):
Yuval Ishai
Eylon Yogev
Faculty at Bar-Ilan University
,
Advisor(s):
Yuval Ishai
Lisa Kohl
Faculty at CWI Amsterdam
,
2020
,
Advisor(s):
Yuval Ishai
Man Hou Hong
Advisor(s):
Yuval Ishai
Divya Ravi
Advisor(s):
Yuval Ishai
Nikolaos Makriyannis
Dr.
,
Advisor(s):
Yuval Ishai
Ohad Barta
Works at Starkware industries
,
2020
,
Advisor(s):
Yuval Ishai
Alon Shtaierman
Advisor(s):
Eli Ben-Sasson, Yuval Ishai
Anders Konring
Advisor(s):
Yuval Ishai
Avraham Kaplan
2017–2023
,
Advisor(s):
Yuval Filmus, Yuval Ishai
Cecilia Boschini
Dr.
,
Advisor(s):
Yuval Ishai
Damiano Abram
PhD student at Aarhus University; visitor
,
Advisor(s):
Yuval Ishai
Jack Doerner
Advisor(s):
Yuval Ishai
Kirill Kutsenok
PhD student at King's College London
,
MSc (2025)
,
Advisor(s):
Yuval Ishai, Ron Rothblum
Liav Zafar
Advisor(s):
Yuval Ishai
Michael Riabzev
Advisor(s):
Eli Ben-Sasson, Yuval Ishai
Tom Brand
Starkware
,
2021
,
Advisor(s):
Yuval Ishai
Varun Narayanan
Dr.
,
Advisor(s):
Yuval Ishai
Victor Kolobov
Starkware Industries, PhD
,
Advisor(s):
Yuval Ishai
Yinon Horesh
2020
,
Advisor(s):
Yuval Ishai
Eldar Fischer
Former
Tomer Adar
Postdoc at Tel Aviv University
,
PhD (2026)
,
Advisor(s):
Eldar Fischer
Hadas Shachnai
Graduate Students
M.Sc
Atar Ron
Advisor(s):
Hadas Shachnai
Elad Lavi
Advisor(s):
Hadas Shachnai, Inbal Talgam-Cohen
Gilad-Dov Shmerler
Office:
212
Advisor(s):
Hadas Shachnai, Inbal Talgam-Cohen
Menachem Franko
Advisor(s):
Hadas Shachnai, Nadav Merlis
Rotem Shavitt
Office:
312
Advisor(s):
Hadas Shachnai
Tamar Lachover
Advisor(s):
Hadas Shachnai, Inbal Talgam-Cohen
Yuval Yosef
Advisor(s):
Hadas Shachnai, Ariel Kulik
Former
Ilan Doron Arad
Postdoc at MIT
,
Advisor(s):
Hadas Shachnai
Lior Ben Yamin
Advisor(s):
Hadas Shachnai
Tomer Cohen
Advisor(s):
Hadas Shachnai
David Wajc
Graduate Students
M.Sc
Nitay Amiel
Advisor(s):
David Wajc
Shaza Abdallah
Phone:
4362
Office:
326
Advisor(s):
David Wajc
Former
Yael Shabtay
Computer Vision Algorithm Engineer @ Apple
,
MSc (2026)
,
Advisor(s):
David Wajc
Omri Ben-Eliezer
Graduate Students
Ph.D
Tomer Waizer
Advisor(s):
Omri Ben-Eliezer
M.Sc
Awes Amer
Advisor(s):
Omri Ben-Eliezer
Ofrie Rosenthal
Advisor(s):
Omri Ben-Eliezer
Research Interests:
Knowledge graphs
Sujud Abu-Atta
Advisor(s):
Omri Ben-Eliezer