Maya Bechler-Speicher
AI Research Scientist
I'm an AI Research Scientist at Meta Superintelligence Labs Fundamental AI Research (FAIR), on the AI Verification team under the leadership of Gödel Prize winner Prof. Peter O’Hearn. I am a research lead working on making coding LLMs and agents inherently safe and secure, with a particular focus on provably secure code generation. I also led the research on Graph Foundation Models and LLMs post-training with structured data.
I am also a lecturer at the Computer Science School at Tel-Aviv University, teaching "Machine Learning with Graphs" — an advanced course I built from scratch to spread the word on Graph Machine Learning.
I defended my PhD "Towards improved Generalizability and Interpretability in Graph Neural Networks" at the School of Computer Science and AI at Tel Aviv University, where I was fortunate to be advised by Amir Globerson. I received the Deutsch Institute Computer Science Excellence Prize for my PhD. I am broadly interested in Deep Learning, with a special place in my heart for Geometric Deep Learning.
Before joining Meta I founded Drop Of Wisdom AI consultancy and was an AI consulting, fortunate to work with many amazing startups. In the summer of 2021, I interned at Meta. Prior to that, I spent three years at the AI Incubation and Innovation group at Microsoft's CTO office, under the leadership of Ami Luttwak, with whom I obtained 3 patents and had the opportunity to invent, lead, and develop novel and disruptive AI initiatives. Before that, I worked as a software engineer at Autodesk and Verint.
I hold a BSc and MSc in Computer Science from Ben-Gurion University, where I conducted research with Natan Rubin and participated in the 'Dkalim' and 'Intel' excellence programs. I also completed a second full BSc in Mathematics after my MSc and mostly in parallel to my PhD — just for fun. I really love Math.
