max planck institut
informatik
informatik
Die Forschungsgruppe Automatisierung der Logik wird geleitet von Prof. Dr. Christoph Weidenbach
Die Forschung der Gruppe konzentriert sich auf das automatische Rechnen in Prädikatenlogik (oder Teilsprachen). Im theoretischen Bereich erforscht die Gruppe die Entwicklung, Analyse, und Kombination logischer Kalküle. Die praktische Forschung beschäftigt sich mit der Implementierung leistungsstarker Beweiser und anderen deduktiven Systemen und ihrer Anwendung in computergestützten Beweisverfahren von Hard- und Software.
Wer ist Wer? - Sekretärinnen, Wissenschaftler, Gäste, Studenten und Ehemaligen Mitarbeiter
Woran wir arbeiten? Wer arbeitet woran?
Langzeitaufenthalte, Postdoktorandenstellen, Doktorandenstellen, Praktikantenstellen und andere Stellenangebote
Vorlesungen, Seminare, Bachelor und Master Arbeiten
Seminar Program, Fortgeschrittenen Mini Vorlesungen
Doktorarbeiten, Diplomarbeiten, wissenschaftliche Publikationen von Gruppenmitarbeitern
Software Projekte, Downloads
Sammlung nützlicher Links zu Internet Seiten