Sitvanit Ruah

I have deep knowledge and rich experience in the areas of formal verification and static program analysis. In particular I love developing algorithms and software over ASTs (Abstract Syntax Trees) and CFGs (Control Flow Graphs). I am a strong research professional with PhD in Computer Science from Weizmann Institute of Science. I am a team player and enjoy collaboration and team work.

certora.com

orbotech.com

kayhut.com

ibm.com

Rehovot, Center District, Israel

Contact info

sitvanit-ruah-b674181

Experience

Senior Algorithm and Software Developer

Certora

• www.linkedin.com/company/certora

• Full-time

Sep 2021 - Jan 2024

Algorithm and Software Developer

Certora

• www.linkedin.com/company/certora

Sep 2021 - Sep 2021

Algorithm and Software Engineer

KayHut

• www.linkedin.com/company/kayhut

May 2014 - Sep 2021

Researcher, Algorithm Developer and Team Leader

IBM Haifa Research Lab

• www.linkedin.com/company/ibm

Apr 2002 - Mar 2014

Research staff member

IBM

• www.linkedin.com/company/ibm

Jan 2002 - Mar 2014

Software Engineer

Orbotech