Auto-Tuning of Copilot Prompts
AI-agent-based tool for tuning and optimizing system prompts, and particularly those of Microsoft Copilot offerings. S’ouvre dans un nouvel onglet
Meeting Intelligence: Task Rephrasing
As part of the general theme of Meeting Intelligence, we extract and rewrite tasks and to-do items identified in meeting transcriptions. S’ouvre dans un nouvel
mai: MAth Interpreter
Educational tool for computer-assisted mathematics, wherein the language of mathematics is defined from first principles. Using `horc’, a fully operational proof assistant is obtained at no additional cost.…
horc: HORn-Clause Interpreter
Implementation of `pure’ logic programming as a lightweight extension to Prolog. It is a minimalist (meta-)language allowing to jointly define and implement more complex formalisms.
À propos
I am a Principal Researcher at Microsoft specializing in generative AI. I have worked in the science and engineering of generative machine learning for nearly a decade. My work spans industrial and academic research in machine learning and natural language processing, including leading small, high-impact research teams and publishing in top venues.
I have also built and shipped innovative AI products and solutions used by millions of people worldwide, including within the Copilot suite, where I served as one of the founding contributors. As an AI lead, I am responsible for fitting models, tuning prompts, and designing tools to solve real-world tasks, as well as building the data pipelines, evaluators, and metrics needed to ensure a predictable, long-term trajectory of improvement.
I hold a Ph.D. in Mathematics and Computer Science (formal methods) from the Weizmann Institute of Science, and a B.A. in Mathematics with Computer Science from the Technion – Israel Institute of Technology. Prior to joining Microsoft, I was a Research Staff Member at IBM Research.
I live in Haifa, Israel. Outside of work, I enjoy weight training and following recent advances in digital mathematics (opens in new tab).
You can find my professional profiles on LinkedIn (opens in new tab), GitHub (opens in new tab), and Google Scholar (opens in new tab).