EDUCATION
2018
PH.D. IN PHILOSOPHY, HEBREW UNIVERSITY OF JERUSALEM.
​Dissertation Title: Towards a Cognitive Foundation of Mathematics.
Supervisors: Carl Posy (Philosophy of Logic & Mathematics);
Aaron Sloman (Artificial Intelligence & Cognitive Science)
2015
M.A. IN COGNITIVE SCIENCE, HEBREW UNIVERSITY OF JERUSALEM.
​Thesis title: The Logic of Love.
Supervisor: Prof. Eyal Winter (Game Theory & Rationality).
2007
M.SC. IN MATHEMATICS, HEBREW UNIVERSITY OF JERUSALEM.
Thesis in Model Theory (Mathematical Logic).
Thesis title: Equivalence Relations & Topological Automorphism Groups in Simple Theories.
Supervisor: Prof. Ehud Hrushovski (Model Theory).
2004
B.A. IN COMPUTER-SCIENCE, TECHNION INSTITUTE OF TECHNOLOGY.
Graduated Summa Cum Laude
2004
B.A. IN MATHEMATICS, TECHNION INSTITUTE OF TECHNOLOGY.
Graduated Summa Cum Laude
INDUSTRY RESEARCH
2019 -
ALGORITHM RESEARCHER
Edgify
Federated Learning: Distributed Deep Learning, training on edge devices.
Q4 2010
ALGORITHMIC COGNITIVE SCIENCE CONSULTANT
Microsoft Innovation Labs
Initiating a novel recommendation & discovery system (later turned into patent us 9326033), integrating human expert knowledge.
2001-2004
ALGORITHM ENGINEER
IBM Research
Formal Verification -Â Model checking: Automatic verification/falsification of temporal logic formulas over hardware models.