Meeting Intelligence: Task Rephrasing
As part of the general theme of Meeting Intelligence, we rewrite tasks and to-do items identified in meeting transcriptions. Opens in a new tab
'mai': MAth Interpreter
An educational tool for computer-assisted mathematics. In the repository, the language of mathematics is constructed from first principles, including a fully operational implementation. Opens in
'horc': HORn-Clause interpreter
A minimalist implementation of *pure* logic programming. The minimalist meta-language allows to jointly define and implement more complex formalisms. Opens in a new tab
Find me on Who+ / Teams
Microsoft-internal. Opens in a new tab
About
I am a Principal Researcher at the Microsoft MSAI (opens in new tab) organization. In my role, I am engaged in research and development of generative AI technology for Office 365 – particularly, Teams Premium (opens in new tab) and the recent Copilot for Teams (opens in new tab). My main interests lie in industrial and academic research in machine learning and NLP, especially around generative AI and foundation models (opens in new tab). I have experience with the entire model-development lifecycle: from data collection and annotation; through model design and optimization; to model evaluation, responsible AI (opens in new tab), and incorporating user signals. More recently, I am engaged in challenges in large language models, prompt design, and in-context learning.
I hold a Ph.D. in Mathematics and Computer Science from the Weizmann Institute of Science (opens in new tab) in Israel, where I was engaged in formal methods (opens in new tab) and modeling languages research. I also hold a B.A. in Mathematics with Computer Science from the Technion – Israel Institute of Technology (opens in new tab). Previous to Microsoft, I was a Research Staff Member at IBM Research (opens in new tab). Some of my hobbies include weight training and digital mathematics (opens in new tab).
More information:
A few of my recent projects are available in the links (tiles) above.