Dr. Sarai Sheinvald

Dr. Sarai Sheinvald

Dr. Sarai Sheinvald

M206
מחלקה: Software Engineering
תפקיד נוכחי: Lecturer

Education :

Ph.D.2015, Computer Science, The Hebrew University

M.Sc. Computer Science, The Hebrew University (cum laude)

B.Sc. Computer Science, Tel Hai College (cum laude)

Research Interests
  • 1. Formal Verification
  • 2. Automata Theory
  • 3. Temporal Logic
Courses
  • 1.  Automata and Computability
  • 2. Algorithms
  • 3. Logic

Conference Proceedings and Abstracts

  1. Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald. An Automata-Theoretic Approach to Modelling Systems and Specifications over Infinite Data. NFM 2017
  2. Orna Kupferman and Sarai Sheinvald. On the Capacity of Capacitated Automata. LATA 2016
  3. Orna Grumberg, Orna Kupferman and Sarai Sheinvald. A Game-Theoretic Approach to Simulation of Data-Parameterized Systems., ATVA 2014
  4. Orna Grumberg, Orna Kupferman and Sarai Sheinvald. An Automata-Theoretic Approach to Reasoning About Parameterized Systems and Specifications, ATVA 2013
  5. Orna Grumberg, Orna Kupferman and Sarai Sheinvald. Model Checking Systems and Specifications with Parameterized Atomic Propositions, ATVA 2012
  6. Orna Grumberg, Orna Kupferman and Sarai Sheinvald. Variable Automata over Infinite Alphabets, LATA 2010
  7. Dana Fisman, Orna Kupferman, Sarai Sheinvald, and Moshe Y. Vardi. A Framework for Inherent Vacuity, HVC 2008
  8. Orna Kupferman and Sarai Sheinvald. Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words, CONCUR 2006

Other Publications

Professional Reports:

  1.  Variable Automata – Theory and Applications in the Verification of Data-Parameterized Systems. Ph.D Dissertation. Advisor: Prof. Orna Kupferman. The Hebrew University, July 2014.
  2. Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. M.Sc Thesis. Advisor: Prof. Orna Kupferman. The Hebrew University, 2008.
  3. Prosyd report on synthesis of optimized Buechi automata from properties (2006): Property-based Synthesis of Optimized Buechi Automata, Ingo Pill, Sarai Sheinvald, and Roderick Bloem

Academic Appointments

2015 – PhD co-Advisor, The Technion

2014 – Lecturer (faculty), ORT Braude College

2008 – Adjunct lecturer and TA, The Technion

2006 – 2015 Teacher, Math and Computer Science dept., The Open University

Teaching Experience

Ort Braude Academic College:

Algorithms in Graph Theory
Computer Organization and Programming
Computability Theory

Automata and Computability

Algorithms

Logic

The Technion:

Formal Specifications of Complex Systems

Logic for Computer Science

The Open University, Israel:
Algorithms
Data Structures and Introduction to AlgorithmsLogic for Computer Science
Automata and Formal Languages
TA (The technion and Tel Hai College):
Introduction to Software Verification
Applied Math
Modern algebra
Algorithms
Data Structures

Academic and Professional Awards and Grants

2003 Tel Hai College Award for outstanding teachers
2002 Ministry of Industry “Hatovim Lata’asia” scholarship
2001 ,2000 Tel Hai College scholarship for outstanding students
1999 Tel Hai College scholarship for outstanding candidates

Professional Activities

ORT Braude College:

2015 – present Advisers coordinator, Braude College

2015 – present Reserves service adviser, Braude College

2015 – present External students adviser, Braude College

Industrial Experience:
2005 – 2006 Developer, IBM Haifa
1999-2004 Software graphic designer, IBM Haifa
2001-2002 Developer, Tadlys Bluetooth, Kiryat Shmona
  • Formal verification of infinite state systems
  • Temporal logic
  • Automata theory and applications, automata over infinite objects and infinite alphabets, automata-based verification

ייעוץ לימודים