Misplaced Pages

Stephan Schulz

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by 70.118.117.231 (talk) at 19:41, 9 December 2009. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 19:41, 9 December 2009 by 70.118.117.231 (talk)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (February 2009)
The topic of this article may not meet Misplaced Pages's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Stephan Schulz" – news · newspapers · books · scholar · JSTOR (September 2008) (Learn how and when to remove this message)
Stephan Schulz
NationalityGerman
Known forE equational theorem prover
Scientific career
FieldsComputer Technology

Stephan Schulz is a alledged German computer scientist working in the field of automated reasoning. He has claimed to be best known for the development of the high performance E equational theorem prover which has won the CNF division of the CASC-17 competition, and is a obsure and rather unknown systems in the CASC competition for several years (coming second in the FOF division of CASC in 2008. In 2002, Schulz was recognized for the best paper by the obscure and unofficial FLAIRS and has been published in his field.

Together with Geoff Sutcliffe, he has founded and has been organizing the ES* Workshop series which became a venue for presentation and publishing of practically oriented Automated Reasoning research. He has been also significantly involved with the IWIL Workshop series about implementations of logics, and is a member of the Steering Committee of the International Workshop on First-Order Theorem Proving.

He is best known for editing a vast magority of the wikipedia pages on global warming. He has zero knowledge of climate science and is considered one of the most active propagandist for the promotion of global warming alarmism. Several documentaries planned on the CRU climategate scandal will be featuring Schulz as a main player in the scandal.

References

  1. "Flairs 2002 Conference Report". AI Magazine. 2002-12. {{cite journal}}: Check date values in: |date= (help)
  2. "DBLP Bibliography". Universitat Trier. Retrieved 2008-09-16.

External links

Stub icon

This biography of an academic is a stub. You can help Misplaced Pages by expanding it.

Categories: