Dr. Wolfgang Degen

	Büro:	Cauerstr. 6 Zimmer 0.147
	E-Mail:	wolfgang.degen@informatik.uni-erlangen.de
	Telefon:	+49 9131 85-27927
	Fax:	+49 9131 85-28928
	Anschrift:	Universität Erlangen-Nürnberg Lehrstuhl für Informatik 10 (Systemsimulation) Cauerstraße 6 D-91058 Erlangen

Forschungsinteressen

• Mathematische Logik, insbesondere axiomatische Mengenlehre, Modelltheorie und Beweistheorie
• Theoretische Informatik, insbesondere Automatentheorie, Komplexitätstheorie und Programm-Logiken
• On the Size of Logical Descriptions
• Philosophie, insbesondere Antike Philosophie, Philosophie des Deutschen Idealismus, Analytische Philosophie, (und bis 2003) Sogenannte Ontologie und Metaphysik
• Mittelalterliche Logik, insbesondere Übersetzungen

Lehre

• WS 2006/2007:
  • Deskriptive Komplexität und endliche Modelltheorie
• SS 2006:
  • Ausgewählte Kapitel aus der Graphentheorie
  • Nichtstandard Arithmetik, Analysis und Logik

Sonstiges

• Meine Publikationen am Lehrstuhl
• Frühere Publikationen