Itai Segall

Murray Hill, NJ, USA

Dept. Head, Software and Data Systems Research (SDSR) Lab

Research Interests

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 activities

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

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