Picture of Itai Segall

Itai Segall

Murray Hill, NJ, USA
Dept Head - Self-Adapting Software Systems (Israel); Dept Head - Scalable Data Systems (NJ, US)

Education

  • 2010 - PhD, The Weizmann Institute of Science. Israel. "Formal Methods for Execution and Analysis of LSC Specifications". Advisor David Harel, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel.
  • 2006 - MSc, The Weizmann Institute of Science. Israel. "Enhancing Play-Out by Using AI Techniques". Advisor David Harel, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel.
  • 2004 - BA, Computer Science. Technion - Israel Institute of Technology. Haifa, Israel. Graduated Summa Cum Laude.

 

Biography

I am leading two research departments in Bell Labs:

In the Self-Adapting Software Systems research department in Israel, we are revisiting software quality - when it comes to autonomous and data-driven systems. In this project, we strive to guarantee correctness, safety and reliability of ML models, and systems that rely on them, thus ensuring the Future Safety in a world where ML models control more and more mission-critical processes.

In the Scalable Data Systems in Murray Hill, NJ, we are looking into collaboration and orchestration aspects in multi-robot systems.

Until relocating to NJ, USA in August 2018 I was also the site leader of Bell Labs Israel.

Before joining Bell Labs in November 2014, I was a research staff member at IBM Research - Haifa, in the software quality group.

I hold a PhD and an MSc from the Weizmann Institute of Science, and a BA from the Technion - Israel Institute of Technology.

I am the author of over 30 research papers, and an inventor of over 15 granted patents.

Research Interests

  • Distributed Systems & Controls
  • Dynamic Cloud
  • Machine Learning
  • Robotics
  • Software Engineering
  • Software Platforms

Honors and Awards

  • IBM Research, 2014: IBM Research Division Award
  • IBM Research, Oct 2013: Nominated IBM Master Inventor
  • ACM, May 2013: ACM SIGSOFT Distinguished Paper Award at ICSE'13
  • IBM Research, Dec 2011: Eminence and Excellence Award for Creating Client Value
  • Technion, Jan 2005: Graduated BA Summa Cum Laude

Professional Activities

2019

2018

2017

2016

  • 5th International Workshop on Combinatorial Testing (IWCT 2016) at ICST 2016 - on steering & organizing committee

2015

2014

2013

2012

2011

  • Programming Languages and Development Environments (PLDE) 2011 IBM Leadership Seminar - on organizing committee

Selected Articles and Publications

Patents

  • BDD-Based Functional Coverage Analysis.
    Rachel Tzoref-Brill, Itai Segall, Tatyana Veksler. US Patent 8,656,341
  • Test planning using attribute value properties.
    Eitan Farchi, Itai Segall, Aviad Zlotnick. US Patent 8,452,813
  • BDD-Based Functional Modeling.
    Rachel Tzoref-Brill, Itai Segall, Tatyana Veksler. US Patent 8,595,676
  • Obtaining File System View in Block-Level Data Storage Systems.
    Miriam Allalouf, Muli Ben-Yehuda, Julian Satran, Itai Segall. US Patent App. 12/773,852
  • Method of Full-Coverage Low Power Mode for Storage Systems Storing Replicated Data.
    Dalit Naor, Danny Harnik, Itai Segall. US Patent App. 12/436,163