Subject: new participant
From: Michael Siegel ZT SE 4 (michael.siegel@mchp.siemens.de)
Date: Tue Jan 09 2001 - 11:37:47 PST
Hi,
after attending today's tele-conference of the Formal Verification
Technical Committee, I though I should briefly introduce myself such
that you have an idea whom you are discussing with in following
meetings.
My name is Michael Siegel and I am working on formal verification
techniques
both for equivalence checking and for model checking at Siemens
Corporate Technology.
I have a back-ground in computer science where I did my phd on formal
verification (languages, semantics, proof theory, compositionally,
refinement/abstraction) and test automation (languages, semantics, test
generation/evaluation). Afterwards I joined for two years the group of
Amir Pnueli at the Weizmann Institute, Israel,
where I worked on translation validation (i.e. equivalence checking) for
software (declarative, synchronous languages).
Two years ago I joined the formal verification group at Siemens, where I
lead the development of the property language of our model checker.
This discussion of the committee was interesting and I am looking
forward to actively participate in the next meetings.
best regards
Michael
-- -------------------------------------------------------------------------- Michael Siegel Siemens AG, CT SE 4 phone: (+49) 89 636 53983 Otto-Hahn-Ring 6 fax: (+49) 89 636 42284 D-81730 Munich, Germany e-mail: michael.siegel@mchp.siemens.de --------------------------------------------------------------------------
This archive was generated by hypermail 2b28 : Tue Jan 09 2001 - 11:42:04 PST