The old (1997-2004) John Von Neumann Minerva Center for
Verification of Reactive Systems

Scientific Personnel

Director: Amir Pnueli

Members

Moti Ben-Ari, Dept. of Science Teaching, Weizmann Institute.
David Harel, Dept. of Applied Mathematics and Computer Science, Weizmann Institute.

Associate Members

Moshe Vardi. Main affiliation: Computer Science, Rice University, Houston, Texas.
Yonit Kesten Main affiliation: Department of Communication, Ben Gurion University, Beer Sheva.
Orna Lichtenstein. Main affiliation: Department of Computerized Systems, the Holon Center of Technological Education, Holon

Students

Name	Research interests
Dan Barak	Integration and coordination of simulation and execusion tools for creating a component-based executable model
Alexey Etin	Tools for Efficient Support of Deductive and Algorithmic Verification
Dana Fisman	Symbolic Model Checking of Non-Regular Parameterized Systems
Ira Gordin	Compiler Verification
Aron Inger
Naaman Kam	Application of CS Formal Methods to the Modeling and Verification of Biological Systems
Hillel Kugler	Synthesis of Object Systems from MSC and LSC Requirements Specification
Nir Piterman	Automata theoretic approach to verification. Computation of inductive invariants by finite-state methods
Avital Sadot	Scenario-based modeling of multi-cell organisms
Gera Weiss

Alumni

Name	Research interests
Tamarah Arons	Deductive verification of hardware designs
Sol Efroni	Modeling large biological systems by Statecharts and other visual formalisms
Olga Grinchtein	Model checking real-time systems
Yehuda Koren	Algorithms for aesthetic and effective layout of specification graphs
Raya Leviathan	Translation Validation of Architecture-Targeted Optimizing Compilers
Rami Marelly	Elucidation of requirements by play-in scenarios
Yoav Rodeh	Techniques in Decision Procedures for Equality Logic and Improved Model checking Methods
Sitvanit Ruah	Algorithmic and Deductive Techniques for the Verification of Hardware and parameterized Systems
Elad Shahar	Verification of Parameterized Systems
Ofer Shtrichman	Translation validation, Decision procedures for equality logic, Bounded Model-Checking

Dept. of Computer Science and Applied Math
The Weizmann Institute of Science
Rehovot 76100, Israel
TelePhone: +972-8-934-3434
Telefax: +972-8-934-4122
To comment on this service, send feedback to the Nir Piterman

Weizmann Institute