Stephan Schulz


Stephan Schulz

Infobox_Scientist
name = Stephan Schulz


image_width= 200px
caption = Stephan Schulz
residence = Germany
nationality = German
field = Computer Technology
known_for = E equational theorem prover

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 [http://www.cs.miami.edu/~tptp/CASC/17/WWWResults/ResultsSummary.html#MIXProblems CASC-17 competition] , and has been among the strongest systems in the [http://www.cs.miami.edu/~tptp/CASC/ CASC competition] for several years (coming second in the [http://www.cs.miami.edu/~tptp/CASC/J4/WWWFiles/DivisionSummary.html FOF division of CASC in 2008] . In 2002, Schulz was recognized for the best paper by FLAIRScite journal|date=2002-12|title=Flairs 2002 Conference Report|journal=AI Magazine|url=http://www.accessmylibrary.com/coms2/summary_0286-27024342_ITM] and has been published in his field. [cite web|url=http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html|title=DBLP Bibliography |publisher=Universitat Trier|accessdate=2008-09-16]

References

External links

* [http://www4.informatik.tu-muenchen.de/~schulz/ Stephan Schulz home page]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schulz:Stephan.html Stephan Schulz publications at DBLP]


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Stephan Schulz-Winge —  Stephan Schulz Winge Spielerinformationen Geburtstag 13. September 1974 Geburtsort Neuss, Deutschland Größe 190 cm Position Abwehr, Mittelfeld …   Deutsch Wikipedia

  • Schulz — Verteilung von Schulz in Deutschland Schulz ist eine Variante eines Familiennamens, der auf das mittelalterliche Amt des Schultheiß zurückgeht. Varianten Schulze Schultz Schulzke Shultz (eine amerikanische Schre …   Deutsch Wikipedia

  • Schulz & Schulz — Schulz Schulz ist eine fünfteilige TV Filmreihe um ein in den Kriegswirren und durch die Mauer gertrenntes Zwillingspaar, das von Götz George gespielt wird. Autoren der ZDF Reihe sind Krystian Martinek und Neithard Riedel. Regie führten Ilse… …   Deutsch Wikipedia

  • Schulz & Schulz — ist eine fünfteilige TV Filmreihe um ein in den Kriegswirren und durch die Mauer getrenntes Zwillingspaar, das von Götz George gespielt wird. Autoren der ZDF Reihe sind Krystian Martinek und Neithard Riedel. Regie führten Ilse Hofmann (I–III) und …   Deutsch Wikipedia

  • Stephan Kampwirth — (* 1967 in Neheim Hüsten) ist ein deutscher Theater und Filmschauspieler. Inhaltsverzeichnis 1 Lebenslauf 2 Auszeichnungen 3 Filmografie (Auswahl) 4 …   Deutsch Wikipedia

  • Stefan Schulz — ist der Name folgender Personen: Stefan Schulz (Politiker) (* 1957), deutscher Politiker (CDU) Stefan Schulz (Posaunist) (* 1971), deutscher Bassposaunist und Hochschullehrer Stefan Schulz Hardt (* 1967), deutscher Psychologe Siehe auch: Stephan… …   Deutsch Wikipedia

  • Ehrenfried Schulz — (* 13. November 1939 in Apolda) ist ein deutscher römisch katholischer Theologe, Religionspädagoge und pensionierter Universitätsprofessor. Inhaltsverzeichnis 1 Leben 2 Mitarbeit in Verbänden und Gremien 3 Werke ( …   Deutsch Wikipedia

  • Thorsten Schulz —  Thorsten Schulz Spielerinformationen Geburtstag 5. Dezember 1984 Geburtsort Groß Gerau, Deutschland Größe 180 cm Position Verteidiger …   Deutsch Wikipedia

  • Gerd Schulz — (* 5. Juni 1947 in Drewin, Neustrelitz) ist ein ehemaliger Funktionär der FDJ und Politiker der SED in der DDR sowie Politiker der PDS. Leben Der Sohn eines Arbeiters absolvierte die Erweiterte Oberschule und schloss diese mit dem Abitur sowie… …   Deutsch Wikipedia

  • Liste der Biografien/Schu — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.