Portrait of Amir Kantor

Amir Kantor

Principal Researcher

Connect on LinkedIn
Russell, Whitehead - Principia Mathematica

'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

Babbage's Analytical Engine, 1834-1871.

'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


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.