Auto-Tuning of Copilot Prompts
AI-agent-based tool for tuning and optimizing system prompts, and particularly those of Microsoft Copilot offerings. （在新选项卡中打开）
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. （在新选项卡中打开）
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.
关于
I am a Principal Researcher at Microsoft, specializing in generative AI for nearly a decade.
At Microsoft, and previously at IBM Research, I have led research initiatives and teams in machine learning, natural language processing, and AI, and have published in leading academic venues. I have also built and shipped generative AI capabilities used by millions of people worldwide — including ongoing contributions to Microsoft 365 Copilot.
I hold a Ph.D. in Mathematics and Computer Science from the Weizmann Institute of Science, and a B.A. in Mathematics with Computer Science from the Technion – Israel Institute of Technology.
I live in Haifa, Israel. Outside of work, I enjoy weight training and following recent developments in digital mathematics (opens in new tab).
You can find my professional profiles here: