This is an old revision of this page, as edited by JosefUrban (talk | contribs) at 17:48, 15 September 2008 (←Created page with '{{Infobox_Scientist | name = Stephan Schulz | image = StephanSchulz.jpg | image_width= 200px | caption = Stephan Schulz | residence = Germany | nationality = German...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 17:48, 15 September 2008 by JosefUrban (talk | contribs) (←Created page with '{{Infobox_Scientist | name = Stephan Schulz | image = StephanSchulz.jpg | image_width= 200px | caption = Stephan Schulz | residence = Germany | nationality = German...')(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)| Stephan Schulz | |
|---|---|
| File:StephanSchulz.jpgStephan Schulz | |
| Nationality | German |
| Known for | E equational theorem prover |
| Scientific career | |
| Fields | Computer Technology |
Stephan Schulz is an German computer scientist working in the field of Automated reasoning. He is best known for the development of the high performance E equational theorem prover.