Dr. Sarai Sheinvald
מחלקה:
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
- Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald. An Automata-Theoretic Approach to Modelling Systems and Specifications over Infinite Data. NFM 2017
- Orna Kupferman and Sarai Sheinvald. On the Capacity of Capacitated Automata. LATA 2016
- Orna Grumberg, Orna Kupferman and Sarai Sheinvald. A Game-Theoretic Approach to Simulation of Data-Parameterized Systems., ATVA 2014
- Orna Grumberg, Orna Kupferman and Sarai Sheinvald. An Automata-Theoretic Approach to Reasoning About Parameterized Systems and Specifications, ATVA 2013
- Orna Grumberg, Orna Kupferman and Sarai Sheinvald. Model Checking Systems and Specifications with Parameterized Atomic Propositions, ATVA 2012
- Orna Grumberg, Orna Kupferman and Sarai Sheinvald. Variable Automata over Infinite Alphabets, LATA 2010
- Dana Fisman, Orna Kupferman, Sarai Sheinvald, and Moshe Y. Vardi. A Framework for Inherent Vacuity, HVC 2008
- Orna Kupferman and Sarai Sheinvald. Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words, CONCUR 2006
Other Publications
Professional Reports:
- Variable Automata – Theory and Applications in the Verification of Data-Parameterized Systems. Ph.D Dissertation. Advisor: Prof. Orna Kupferman. The Hebrew University, July 2014.
- Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. M.Sc Thesis. Advisor: Prof. Orna Kupferman. The Hebrew University, 2008.
- 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
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
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
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
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