Stephan Schulz: Difference between revisions

Revision as of 16:23, 16 September 2008 editGuillaume2303 (talk \| contribs)Autopatrolled, Pending changes reviewers86,215 edits prodding, lack of notability← Previous edit		Revision as of 16:25, 16 September 2008 edit undoGuillaume2303 (talk \| contribs)Autopatrolled, Pending changes reviewers86,215 edits Undid revision 238832020 by Crusio (talk)revert, has been prodded before, should go to AfDNext edit →
Line 1:		Line 1:
	{{dated prod\|concern = does not meet notability requirements of ]\|month = September\|day = 16\|year = 2008\|time = 16:23\|timestamp = 20080916162350}}
	<!-- Do not use the "dated prod" template directly; the above line is generated by "subst:prod\|reason" -->

	{{Infobox_Scientist		{{Infobox_Scientist
	\| name = Stephan Schulz		\| name = Stephan Schulz

Revision as of 16:25, 16 September 2008

Stephan Schulz
File:StephanSchulz.jpgStephan Schulz
Nationality	German
Known for	E equational theorem prover
Scientific career
Fields	Computer Technology

Stephan Schulz is a 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 which has won the CNF division of the CASC-17 competition, and has been among the strongest 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 FLAIRS and has been published in his field.

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

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