Technische Universität München (TUM)
Lehrstuhl für Informatik XXI: Logik und Verifikation
Kontakt
Lehrstuhl für Informatik XXI: Logik und Verifikation
Boltzmannstraße 3
85748 Garching
85748 Garching
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
Technische Universität München (TUM)
Alle Ebenen einblenden | ausblenden
- Carl von Linde-AkademieZur Einrichtung
- Else-Kröner-Fresenius Zentrum für ErnährungsmedizinZur Einrichtung
- Exzellenzcluster ORIGINSZur Einrichtung
- Fakultät für Elektrotechnik und InformationstechnikZur Einrichtung
- Fakultät für InformatikZur Einrichtung
- Lehrstuhl für Artificial Intelligence in Healthcare and MedicineZur Einrichtung
- Lehrstuhl für Decentralized Systems EngineeringZur Einrichtung
- Lehrstuhl für Informatik 17: Wirtschaftsinformatik und GeschäftsprozessmanagementZur Einrichtung
- Lehrstuhl für Informatik 29: Computational Molecular MedicineZur Einrichtung
- Lehrstuhl für Informatik I: Angewandte SoftwaretechnikZur Einrichtung
- Lehrstuhl für Informatik III: DatenbanksystemeZur Einrichtung
- Lehrstuhl für Informatik IX: Bildverarbeitung und Künstliche IntelligenzZur Einrichtung
- Lehrstuhl für Informatik V: Wissenschaftliches RechnenZur Einrichtung
- Lehrstuhl für Informatik VI: Robotik, Künstliche Intelligenz und EchtzeitsystemeZur Einrichtung
- Lehrstuhl für Informatik VII: Theoretische InformatikZur Einrichtung
- Lehrstuhl für Informatik X: Rechnerarchitektur und Parallele SystemeZur Einrichtung
- Lehrstuhl für Informatik XI: Connected MobilityZur Einrichtung
- Lehrstuhl für Informatik XII: BioinformatikZur Einrichtung
- Lehrstuhl für Informatik XIII: Anwendungs- und MiddlewaresystemeZur Einrichtung
- Lehrstuhl für Informatik XIV: Algorithmen und KomplexitätZur Einrichtung
- Lehrstuhl für Informatik XIX: Software Engineering betrieblicher InformationssystemeZur Einrichtung
- Lehrstuhl für Informatik XV: Graphik und VisualisierungZur Einrichtung
- Lehrstuhl für Informatik XVI: Informatikanwendungen in der Medizin & Augmented RealityZur Einrichtung
- Lehrstuhl für Informatik XX: Sicherheit in der InformatikZur Einrichtung
- Lehrstuhl für Informatik XXI: Logik und Verifikation
- Lehrstuhl für Informatik XXII: Software EngineeringZur Einrichtung
- Lehrstuhl für Informatik XXIII: Sensorbasierte Robotersysteme und intelligente AssistenzsystemeZur Einrichtung
- Lehrstuhl Informatik II: Sprachen, und Beschreibungsstrukturen in der InformatikZur Einrichtung
- Lehrstuhl Informatik XXIV: Cyber TrustZur Einrichtung
- Lehrstuhl Informatik XXVI: Data Analytics and Machine LearningZur Einrichtung
- Lehrstuhl IV: Software & Systems EngineeringZur Einrichtung
- Lehrstuhl/Fachgebiet für Informatik XIII: BetriebssystemeZur Einrichtung
- Professur für Didaktik der InformatikZur Einrichtung
- Professur für Digital HealthZur Einrichtung
- Professur für Legal TechZur Einrichtung
- Fakultät für MathematikZur Einrichtung
- Fakultät für MedizinZur Einrichtung
- Fakultät für Sport- und GesundheitswissenschaftenZur Einrichtung
- Forschungszentrum Weihenstephan für Brau- und Lebensmittelqualität (BLQ)Zur Einrichtung
- Hans Eisenmann-Forum für AgrarwissenschaftenZur Einrichtung
- Heinz Maier-Leibnitz ZentrumZur Einrichtung
- Holzforschung MünchenZur Einrichtung
- Institute for Advanced Study (IAS)Zur Einrichtung
- Klinikum rechts der Isar der Technischen Universität München (MRI)Zur Einrichtung
- Munich Institute of Biomedical Engineering (MIBE)Zur Einrichtung
- Munich Institute of Robotics and Machine Intelligence (MIRMI)Zur Einrichtung
- Munich School of BioEngineeringZur Einrichtung
- Munich School of EngineeringZur Einrichtung
- Radiochemie München (RCM)Zur Einrichtung
- TUM Campus Straubing für Biotechnologie und NachhaltigkeitZur Einrichtung
- TUM School of Computation, Information and TechnologyZur Einrichtung
- TUM School of Engineering and DesignZur Einrichtung
- TUM School of Life SciencesZur Einrichtung
- TUM School of Management (Fakultät für Wirtschaftswissenschaften)Zur Einrichtung
- TUM School of Natural SciencesZur Einrichtung
- TUM School of Social Sciences and TechnologyZur Einrichtung
- UniversitätsbibliothekZur Einrichtung
- Walter Schottky Institut für physikalische Grundlagen der Halbleiterelektronik (WSI)Zur Einrichtung
- Zentralinstitut für Ernährungs- und Lebensmittelforschung (ZIEL)Zur Einrichtung
- Zentralinstitut für Katalyseforschung (CRC)Zur Einrichtung
- Zentralinstitut für Translationale Krebsforschung (TranslaTUM)Zur Einrichtung
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular