PeopleofSuperintelligence

Researcher

Jonathan Lenchner

Also known as Jon Lenchner

Jonathan Lenchner is a researcher at IBM's Watson Research Center in Yorktown Heights, New York, who helped build the game strategy of IBM's Watson question-answering system. Trained in mathematics at Dartmouth and Cambridge, he earned a PhD in mathematics from the Polytechnic Institute of New York University in 2008. At IBM he developed a robot that mapped temperature in data centers, coauthored a 2013 analysis of Watson's wagering and buzz-in strategies, and shared the 2013 AAAI Feigenbaum Prize as a member of the Watson team. With Ronald Fagin and others, he later studied multi-structural games, which count the quantifiers a first-order sentence needs. Elected to the Connecticut Academy of Science and Engineering in 2025, he is a Senior Technical Staff Member at IBM and a former chief scientist of the IBM Research Africa labs in Kenya and South Africa.

Badges

Timeline

  1. 1981–2008

    Mathematics from Dartmouth to Poly

    He earns a BA in mathematics at Dartmouth College in 1981 and completes Part III of the Mathematical Tripos at Cambridge University in 1982. In 2008, he receives a PhD in mathematics from the Polytechnic Institute of New York University, in the field of discrete geometry.

  2. 2011–2013

    A robot for data centers

    He develops a robot for mapping, monitoring and managing computer data centers, and a paper about it wins a best paper award at the 2011 International Conference on Autonomic Computing. IBM names him a Master Inventor in 2011. By June 2013, 11 of the robots, built on iRobot's Create base, plot temperature and humidity in data centers on four continents.

  3. 2013

    Watson's Jeopardy! strategy

    He is part of a small IBM team that builds the strategy component of Watson, the system that beats top contestants Ken Jennings and Brad Rutter in a televised two-game Jeopardy! match. In 2013, he coauthors a Journal of Artificial Intelligence Research article on how Watson wagers on Daily Doubles and Final Jeopardy, picks squares and decides when to buzz in, tuned with learning and Monte-Carlo methods inside a game simulator.

  4. 2013

    The AAAI Feigenbaum Prize

    As a member of the IBM Watson team, he shares the 2013 AAAI Feigenbaum Prize. The prize honors the team for showing that symbolic knowledge representation, natural language understanding and statistical machine learning together can reach human-level performance in real-time factual question answering.

  5. 2016

    Symbiotic cognitive computing

    In 2016, he coauthors an AI Magazine article with Robert Farrell, Dario Gil and other IBM researchers that proposes five principles for embedding cognitive computing in physical spaces. He works on immersive environments for sports, humanoid robots and robots that greet visitors at the IBM lab, along with a highly instrumented war room that helps the Toronto Raptors with trades and draft picks.

  6. 2021–2025

    Counting quantifiers with Ronald Fagin

    In 2021, with Ronald Fagin, Kenneth Regan and Nikhil Vyas, he studies multi-structural games, which capture the number of quantifiers in a first-order sentence and give a complete characterization of how many quantifiers distinguish linear orders of different sizes. In 2022, he coauthors a follow-up with Fagin, Vyas and Ryan Williams that treats the number of quantifiers as a complexity measure. The games paper appears in Logical Methods in Computer Science in January 2025.

  7. 2025

    Election to the Connecticut Academy

    He is elected to the Connecticut Academy of Science and Engineering in 2025 for advancing computational complexity and computational geometry, for applications to robotics, professional sports and the Watson Jeopardy! system, and for dedication to science and engineering in the developing world.

  8. As of October 2026

    Senior technical staff at IBM

    After serving as chief scientist of the IBM Research Africa labs in Kenya and South Africa, he is a Senior Technical Staff Member at the IBM T.J. Watson Research Center in Yorktown Heights, New York. In spring 2025, he gives a Westchester Area Math Circle talk on gaps between successive primes and on which primes are sums of two squares.

Career

  1. NowIBM ResearchSenior Technical Staff Member
  2. IBMChief Scientist

Education

  1. 2008Polytechnic Institute of New York UniversityPhD in Mathematics
  2. 1982University of CambridgePart III of the Mathematical Tripos
  3. 1981Dartmouth CollegeBA in Mathematics

From the biography.

  1. 23% of people shaping AI who left a university for a company later returned to a universityIncludes IBM. We estimate that 468 of the 2,011 people shaping AI who left a university for a company (23%) later returned to a university after a median of 5 years, and 163 of 829 (20%) made the reverse round trip.
  2. Google alumni have founded or led 133 other organizations, more than any other AI labIncludes IBM. We estimate that alumni of 17 major AI labs went on to found or lead 350 other organizations, including 226 they founded, and we trace 472 career moves directly between 23 labs since 2010.
  3. Universities keep AI researchers for a median of 6 years, compared with 2 years at frontier labsIncludes IBM. Across 15,811 dated work stays (6,529 people), median role tenure runs from 6 years at universities to 2 years at frontier labs. We compare all five organization types, starting decades from the 1970s to the 2020s, and the organizations that keep people longest.
  4. People shaping AI work at a median of 3 organizations over a career: 3 for university starters and institute and lab starters, versus 2 for company startersIncludes IBM. Across 6,853 people shaping AI with a dated work role, we estimate a median of 3 parent organizations over a career (mean 3.6), comparing role groups, starting sectors and starting decades from the 1950s to 2020–2026.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Jonathan Lenchner yet. Send us a free-licensed photo.

  1. Jonathan Lenchner - Connecticut Academy of Science and Engineering ctcase.org. Checked 20 October 2026.
  2. A Peek into Watson: IBM's Jeopardy Playing System | NYU Tandon School of Engineering engineering.nyu.edu. Checked 20 October 2026.
  3. IBM Roomba-Based Robot Measures Data Centre Heat silicon.co.uk. Checked 20 October 2026.
  4. [1402.0571] Analysis of Watson's Strategies for Playing Jeopardy! arxiv.org. Checked 20 October 2026.
  5. AAAI Feigenbaum Prize - AAAI aaai.org. Checked 20 October 2026.
  6. Symbiotic Cognitive Computing | AI Magazine ojs.aaai.org. Checked 20 October 2026.
  7. Westchester Area Math Circle - Spring 2025 Schedule sites.google.com. Checked 20 October 2026.
  8. [2104.14709] Multi-Structural Games and Number of Quantifiers arxiv.org. Checked 20 October 2026.
  9. [2207.00104] On the Number of Quantifiers as a Complexity Measure arxiv.org. Checked 20 October 2026.
  10. #15161 - Multi-Structural Games and Number of Quantifiers lmcs.episciences.org. Checked 20 October 2026.