Von Spezifikation zu Synthese

• Antragsteller: Professor Dr. Martin Lange
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2013 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 229742437

Das Ziel des Heisenberg-Programms ist es, herausragenden Wissenschaftlerinnen und Wissenschaftlern, die alle Voraussetzungen für die Berufung auf eine Langzeit-Professur erfüllen, zu ermöglichen, sich auf eine wissenschaftliche Leitungsfunktion vorzubereiten und in dieser Zeit weiterführende Forschungsthemen zu bearbeiten. In der Verfolgung dieses Ziels müssen nicht immer projektförmige Vorgehensweisen gewählt und realisiert werden. Aus diesem Grunde wird bei der Antragstellung und auch später bei der Abfassung von Abschlussberichten - anders als bei anderen Förderinstrumenten - keine "Zusammenfassung" von Projektbeschreibungen und Projektergebnissen verlangt. Somit werden solche Informationen auch in GEPRIS nicht zur Verfügung gestellt.

• DFG-Verfahren: Heisenberg-Professuren