Professor Dr. Christian Pape - Home

• Home
  • Vorlesungen
  • Labore
  • Seminare
  • Studienarbeiten
  • Abschlussarbeiten
  • Projekte

Kontakt

Anschrift

Sprechstunde

Während der Vorlesungszeit (SS 09): Donnerstag 11:30 - 12.30 Uhr, E309

Zusätzlich und außerhalb der Vorlesungszeit nach Vereinbarung, Terminabsprache zum Beispiel per E-Mail oder direkt nach der Vorlesung.

Aktuelles

• Das Tutorium am Montag, den 14.12., um 14.00 Uhr bei Herrn Henschel findet in Raum E303 (vorherige Info E305) statt.

Kurzer beruflicher Werdegang von Prof. Dr. Christian Pape

Mitte 1996 habe ich mein Informatik-Studium an der Universität Karlsruhe abgeschlossen.

Danach war ich als wissenschaftlicher Mitarbeiter am Institut für Logik, Komplexität und Deduktionssystem (heute Institut für Theoretische Informatik) am Lehrstuhl von Prof. Dr. Peter Schmitt beschäftigt.

Nach meiner Promotion Ende 1999 zum Dr. rer. nat. habe ich als Software-Architekt in der Schweiz gearbeit. Zuletzt bei Swissom IT Services.

Seit Ende 2005 arbeite ich als Professor an der Hochschule Karlsruhe und bin primär in der Grundausbildung des Informatik-Bachlor-Studiengangs tätig (Software-Engineering, Algorithmenentwurf, Java, XML).

Referierte Veröffentlichungen von Prof. Dr. Christian Pape

• BibTeX (UTF-8, ASCII)
• Christian Pape, Peter H. Schmitt. Interaktive Visualisierungen in der Lehre der Theoretischen Informatik. Informatik und Ausbildung, Informatik Aktuell, 102 - 111. Springer, 1998.
• Christian Pape. Using Interactive Visualization for Teaching the Theory of NP-completeness. Proceedings of ED-MEDIA/ED-TELECOM 98, Band 2, 1070 - 1075. Association for the Advancement of Computing in Education, 1998.
• Christian Pape, Peter H. Schmitt. Visualizations for Proof Presentation in Theoretical Computer Science Education. Proceedings of International Confer-ence on Computers in Education, Kuching, Sarawak, Malaysia, December 26, 229 - 236. Association for the Advancement of Computing in Education, 1997.
• Christian Pape, Reiner Hähnle. Restart tableaux with selection function. Fifth Kurt-Gödel-Colloquium, KGC'97, Vienna, LNCS 1289, 219 - 232. Springer, 1997.
• Reiner Hähnle, Christian Pape. Ordered tableaux: Extensions and applications. Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont-à;-Mousson, France, LNCS 1227, 173 - 187. Springer, 1997.
• Bernhard Beckert, Christian Pape. Incremental theory reasoning methods for semantic tableaux. Proceedings, 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Terrasini, Palermo, Italy, LNCS 1071, 93 - 109. Springer, 1996.