Eli Singerman

Eli Singerman's graduate work, under the supervision of David Harel, was on Propositional Logics of Programs. He received a Ph.d. in CS from the Weizmann Institute of Science in 1997. Later, he worked for with Amir Pnueli on a European Esprit project Sacres (Safety Critical Real-time Embedded Systems). They concentrated on formal verification of compilation from synchronous languages, such as Signal and Statecharts, to asynchronous C-code. A couple of moths ago he came to SRI International, where he is now working with Natarajan Shankar on building PVS support for proving properties of synchronous programs.

Email address: singermn@csl.sri.com