Technical University of Munich
Chair for Logic and Verification
Contact
Chair for Logic and Verification
Boltzmannstraße 3
85748 Garching
85748 Garching
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Carl von Linde AcademyGo to institution
- Else-Kröner-Fresenius Center for Nutritional MedicineGo to institution
- Excellence Cluster ORIGINSGo to institution
- Faculty of Electrical Engineering and Information EngineeringGo to institution
- Faculty of Computer ScienceGo to institution
- Chair of Artificial Intelligence in Healthcare and MedicineGo to institution
- Chair of Decentralized Systems EngineeringGo to institution
- Chair of Computer Science XVII: Information Systems and Business Process ManagementGo to institution
- Chair of Computer Science 29: Computational Molecular MedicineGo to institution
- Chair of Computer Science I: Applied Software EngineeringGo to institution
- Chair of Computer Science III (Data Base Systems)Go to institution
- Informatics IX: Chair for Computer Vision and Artificial IntelligenceGo to institution
- Chair of Scientific Computing in Computer ScienceGo to institution
- Informatics 6 - Chair of Robotics, Artificial Intelligence and Real-time SystemsGo to institution
- Chair for Foundations of Software Reliability and Theoretical Computer ScienceGo to institution
- Informatics 10 - Chair of Computer Architecture and Parallel SystemsGo to institution
- Chair of Computer Science XI: Connected MobilityGo to institution
- Chair of Computer Science XII: BioinformaticsGo to institution
- Chair of Business Information SystemsGo to institution
- Chair of Computer Science XIV: Algorithms and ComplexityGo to institution
- Chair of Computer Science XIX: Software Engineering of Business Information SystemsGo to institution
- Chair of Computer Science XV: Computer Graphics & VisualizationGo to institution
- Chair for Computer Aided Medical Procedures & Augmented RealityGo to institution
- Chair for IT SecurityGo to institution
- Chair for Logic and Verification
- Chair of Computer Science XXII: Software EngineeringGo to institution
- Chair of Computer Science XXIII: Sensor-Based Robotic Systems and Intelligent Assistance SystemsGo to institution
- Chair of Computer Science II: Languages and Description Structures in Computer ScienceGo to institution
- Informatics 24 - Professorship of Cyber TrustGo to institution
- Informatics 26 - Data Analytics and Machine LearningGo to institution
- Chair of Computer Science IV (Software and Systems Engineering)Go to institution
- Chair of Computer Science XIII: Operating SystemsGo to institution
- Associate Professorship of Didactics in Computer ScienceGo to institution
- Chair in Digital HealthGo to institution
- Professorship for Legal TechGo to institution
- Faculty of MathematicsGo to institution
- TUM School of MedicineGo to institution
- Research Center Weihenstephan for Brewing and Food Quality (BLQ)Go to institution
- Hans Eisenmann-Forum for Agricultural SciencesGo to institution
- Heinz Maier-Leibnitz ZentrumGo to institution
- Wood Research MunichGo to institution
- Institute for Advanced StudyGo to institution
- University Hospital rechts der Isar of the Technical University MunichGo to institution
- Munich Institute of Biomedical Engineering (MIBE)Go to institution
- Munich Institute of Robotics and Machine Intelligence (MIRMI)Go to institution
- Munich School of BioEngineeringGo to institution
- Munich School of EngineeringGo to institution
- Radiochemistry Munich RCMGo to institution
- TUM Campus Straubing for Biotechnology and SustainabilityGo to institution
- TUM School of Computation, Information and TechnologyGo to institution
- TUM School of Engineering and DesignGo to institution
- TUM School of Life SciencesGo to institution
- TUM School of Management (Faculty of Economics)Go to institution
- TUM School of Natural SciencesGo to institution
- TUM School of Social Sciences and TechnologyGo to institution
- University LibraryGo to institution
- Walter Schottky Institute - Center for Nanotechnology and NanomaterialsGo to institution
- Institute for Food and Health (ZIEL)Go to institution
- Catalysis Research Center (CRC)Go to institution
- Center for Translational Cancer Research (TranslaTUM)Go to institution
DFG Projects
Are you affiliated with this institution or do you represent it?
If you would like to request changes, please use our correction form.