SRI International Computer Science Laboratory

Eli Singerman

Position: International Fellow in the Formal Methods Group

Address:

Academics:

B.Sc. in Mathematics from the Ben-Gurion University, Be'er-Sheva, Israel (1989)
M.Sc. in Mathematics under the supervision of Prof. Miriam Cohen at the same univ. (1992).
Ph.d. in Computer Science under the supervision of Prof. David Harel, at the Weizmann Institute of Science, Rehovot, Israel (1997). Thesis: "Results on Propositional Logics Of Programs"
Postdoc under the direction of of Prof. Amir Pnueli at the Weizmann Inst. Worked on the European Esprit project SACRES (Safety Critical Real-time Embedded Systems). (1997)

Amir Pnueli, Michael Siegel and Eli Singerman, "Translation Validation", proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), LNCS 1384, pp 151--166, 1998. Abstract.
Amir Pnueli, Natarajan Shankar and Eli Singerman, "Fair Synchronous Transition Systems and their Liveness Proofs", proceedings of the 5th International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT '98), LNCS 1486, pp 198--209, 1998. Abstract.
Vlad Rusu and Eli Singerman, "On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction", proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), LNCS 1579, pp 178--192, 1999. Abstract.
David Harel and Eli Singerman, "Computation Path Logic: An Expressive, yet Elementary, Process Logic", Annals of Pure and Applied Logic , (96)1-3, pp 167--186, 1999.
(An abridged version appeared in the proceedings of ICALP'97 , LNCS 1256, pp 408--418, 1997.) Abstract.