Murray Hill, NJ, USA

Itai Segall

Dept Head at Application Platforms and Software Systems (APSS) Research Lab (NJ, US)
_imported_https://media-bell-labs-com.s3.amazonaws.com/bell_labs/profile/profile-photo-2b563c9.jpg

Biography

I am leading a research department that is inventing the future of multi-robot systems. We are inventing and developing a multi-robot orchestration platform that would allow seamless development and deployment of flexible and reliable multi-robot solutions. The use cases that we explore, and have been demonstrated in many different venues, include those of manufacturing, surveillance and logistics.

Until December 2019 I led also the Self-Adapting Software Systems research department in Israel, where we revisited software quality - when it comes to autonomous and data-driven systems. In this project, we strived 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.

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.

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.

 

Professional activites

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

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