Itai Segall

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.

• 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.

2019

• 12th International Conference on Software Testing, Verification and Validation (ICST 2019) - on program committee
• 8th International Workshop on Combinatorial Testing (IWCT 2019) at ICST 2019 - on steering committee
• 30th International Symposium on Software Reliability Engineering (ISSRE 2019) - on program committee
• 7th International Conference on Model-Driven Engineering and Software Development (ModelsWard 2019) - on program committee

2018

• 11th International Conference on Software Testing, Verification and Validation (ICST 2018) - on program committee
• 7th International Workshop on Combinatorial Testing (IWCT 2018) at ICST 2018 - on steering committee
• 29th International Symposium on Software Reliability Engineering (ISSRE 2018) - on program committee
• 5th International Conference on Mobile Software Engineering and Systems (MobileSoft 2018) - program co-chair

2017

• 10th International Conference on Software Testing, Verification and Validation (ICST 2017) - on program committee
• 6th International Workshop on Combinatorial Testing (IWCT 2017) at ICST 2017 - on steering committee

2016

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

2015

• 4th International Workshop on Combinatorial Testing (IWCT 2015) at ICST 2015 - on organizing committee
• Haifa Verification Conference (HVC 2015) - on Program Committee

2014

• Haifa Verification Conference (HVC 2014) - on Program Committee
• 3rd International Workshop on Combinatorial Testing (IWCT 2014) at ICST 2014 - on organizing committee
• 1st International Workshop on Sensors and Smart Cities (SSC 2014) at SMARTCOMP 2014 - on Program Committee

2013

• Haifa Verification Conference (HVC 2013) - software testing track co-chair
• 2nd International Workshop on Combinatorial Testing (IWCT 2013) at ICST 2013 - on organizing committee

2012

• Haifa Verification Conference (HVC 2012) - tutorials chair
• Programming Languages and Software Engineering (PLSE) 2012 IBM Leadership Seminar - on organizing committee
• Combinatorial Testing (CT) workshop at ICST 2012 - on organizing committee

2011

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

• 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