Picture of Itai Segall

Itai Segall

Tel Aviv, Israel
Department Head - Self-Adapting Software Systems & Site Leader, Bell Labs Israel, Nokia

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 the head of the Self-Adapting Software Systems research department in Nokia Bell Labs, where we conduct fundamental software & systems research towards a future where software systems continuously adapt to changes in environment, in code availability, in requirements, and in security threats. In our vision, systems will automatically modify their running software to address these changing conditions. In our research, we are rethinking the entire development and deployment cycle, identifying the points that are currently holding the world back from achieving this dream.

Before joining Bell Labs Israel in November 2014, I was employed by 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 25 research papers, and an inventor of over 15 granted patents.

Research Interests

  • Distributed Systems & Controls
  • Dynamic Cloud
  • 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

2017

2016

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

2015

2014

2013

2012

2011

 

 

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