Itai Segall

Tel Aviv, Israel

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

Before joining Bell Labs Israel in November 2014, I've been employed by IBM Research - Haifa, where I was part of the software quality group. My main research interest there was Combinatorial Test Design (CTD). As part of that effort, I have initiated and led the International Workshop on Combinatorial Testing (IWCT) for its first 3 years, in conjunction with ICST.
I also acted as the Chief Architect of the CloudWave EU FP7 project, which spans 10 partners across Europe, both industrial and academic.
I also enjoy teaching, and have been teaching the undergraduate Software Testing course in Tel-Aviv university since 2012.

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

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