Universität Stuttgart
Institut für Formale Methoden der Informatik (FMI)
Kontakt
Institut für Formale Methoden der Informatik (FMI)
Universitätsstraße 38
70569 Stuttgart
70569 Stuttgart
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
Universität Stuttgart
Alle Ebenen einblenden | ausblenden
- Cluster of Excellence Integrative Computational Design and Construction for Architecture (IntCDC)Zur Einrichtung
- Fakultät 1 - Architektur und StadtplanungZur Einrichtung
- Fakultät 10 - Wirtschafts- und SozialwissenschaftenZur Einrichtung
- Fakultät 2: Bau- und UmweltingenieurwissenschaftenZur Einrichtung
- Fakultät 3: ChemieZur Einrichtung
- Fakultät 4: Energie-, Verfahrens- und BiotechnikZur Einrichtung
- Fakultät 5: Informatik, Elektrotechnik und InformationstechnikZur Einrichtung
- Institut für Architektur von Anwendungssystemen (IAAS)Zur Einrichtung
- Institut für Automatisierungstechnik und Softwaresysteme (IAS)Zur Einrichtung
- Institut für Elektrische Energiewandlung (IEW)Zur Einrichtung
- Institut für Elektrische und Optische Nachrichtentechnik (INT)Zur Einrichtung
- Institut für Energieübertragung und Hochspannungstechnik (IEH)Zur Einrichtung
- Institut für Formale Methoden der Informatik (FMI)
- Institut für Großflächige Mikroelektronik (IGM)Zur Einrichtung
- Institut für Halbleitertechnik (IHT)Zur Einrichtung
- Institut für Hochfrequenztechnik (IHF)Zur Einrichtung
- Institut für InformationssicherheitZur Einrichtung
- Institut für Intelligente Sensorik und Theoretische Elektrotechnik (IIS)Zur Einrichtung
- Institut für Kommunikationsnetze und Rechnersysteme (IKR)Zur Einrichtung
- Institut für Künstliche Intelligenz (KI)Zur Einrichtung
- Institut für Leistungselektronik und Elektrische Antriebe (ILEA)Zur Einrichtung
- Institut für Maschinelle Sprachverarbeitung (IMS)Zur Einrichtung
- Institut für Nachrichtenübertragung (INÜ)Zur Einrichtung
- Institut für Nano- und Mikroelektronische Systeme (INES)Zur Einrichtung
- Institut für Parallele und Verteilte Systeme (IPVS)Zur Einrichtung
- Institut für Photovoltaik (IPV)Zur Einrichtung
- Institut für rechnergestützte Ingenieursysteme (IRIS)Zur Einrichtung
- Institut für Robuste Leistungshalbleitersysteme (ILH)Zur Einrichtung
- Institut für Signalverarbeitung und Systemtheorie (ISS)Zur Einrichtung
- Institut für Software Engineering (ISTE)Zur Einrichtung
- Institut für Technische Informatik (ITI)Zur Einrichtung
- Institut für Visualisierung und Interaktive Systeme (VIS)Zur Einrichtung
- Institutsverbund Informatik (IvI)Zur Einrichtung
- Fakultät 6: Luft- und Raumfahrttechnik und GeodäsieZur Einrichtung
- Fakultät 7 - Konstruktions-, Produktions- und Fahrzeugtechnik (Maschinenbau)Zur Einrichtung
- Fakultät 8: Mathematik und PhysikZur Einrichtung
- Fakultät 9: Philosophisch - Historische FakultätZur Einrichtung
- Graduate School of Excellence advanced Manufacturing Engineering (GSaME)Zur Einrichtung
- Höchstleistungsrechenzentrum Stuttgart (HLRS)Zur Einrichtung
- Interchange Forum for Reflecting on Intelligent Systems (IRIS)Zur Einrichtung
- Internationales Zentrum für Kultur- und Technikforschung (IZKT)Zur Einrichtung
- MPA Stuttgart, Otto-Graf-Institut (FMPA)Zur Einrichtung
- SCoPE - Stuttgart Research Center of Photonic EngineeringZur Einrichtung
- UniversitätsarchivZur Einrichtung
- UniversitätsbibliothekZur Einrichtung
- Visualisierungsinstitut (VISUS)Zur Einrichtung
- Zentrum für interdisziplinäre Risiko- und Innovationsforschung (ZIRIUS)Zur Einrichtung
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular