RWTH Aachen University
Chair for Software Modeling and Verification
Contact
Chair for Software Modeling and Verification
Ahornstraße 2
52056 Aachen
52056 Aachen
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Faculty 1 - Mathematics, Science, and Computer Science at Aachen University of TechnologyGo to institution
- Biology Research GroupGo to institution
- Department of ChemistryGo to institution
- Department of Computer ScienceGo to institution
- Computer Vision GroupGo to institution
- Teaching Theoretical Computer ScienceGo to institution
- Chair of Computer Science 1 (Algorithms and Complexity)Go to institution
- Computer Science 10 - Media Computing GroupGo to institution
- Computer Science 11: Chair of Software for Embedded SystemsGo to institution
- Computer Science 12 - Software and Tools for Computational EngineeringGo to institution
- Computer Science 12 - Teaching and Research Area: Virtual RealityGo to institution
- Computer Science 12 - High Performance ComputingGo to institution
- Computer Science 14 - Chair of Artificial Intelligence MethodologyGo to institution
- Computer Science 2: Chair of Programming Languages and VerificationGo to institution
- Rsearch Group Theory of Hybrid SystemsGo to institution
- Chair for Software Modeling and Verification
- Computer Science 3 - Software ConstructionGo to institution
- Computer Science 3 - Chair of Software EngineeringGo to institution
- Computer Science 4: Chair of Communication and Distributed SystemsGo to institution
- Computer Science 5 - Life Science InformaticsGo to institution
- Computer Science 5 - Knowledge Based SystemsGo to institution
- Chair of Computer Science 5 - Information SystemsGo to institution
- Chair of Computer Science VI - Human Language Technology and Pattern RecognitionGo to institution
- Computer Science 7 - Teaching and Research Area: Complexity of Discrete ProblemsGo to institution
- Chair in Computer Science 7 - (Research Focus: Theoretical Computer Science)Go to institution
- Computer Science 7: Mathematical Principles of Computer ScienceGo to institution
- Computer Science 8 - Chair of Computer Graphics and MultimediaGo to institution
- Computer Sciences 8 - Chair for Mobile Multimedia ProcessingGo to institution
- Business Process Management: foundations and engineering (BPM) groupGo to institution
- Computer Science 9 - Learning Technologies Research GroupGo to institution
- Junior Professorship for Data Stream Management and AnalysisGo to institution
- Research Group IT-SecurityGo to institution
- Chair of Computer Science 9 - Process and Data ScienceGo to institution
- Chair for information and automation systems for process and materials technologyGo to institution
- Visual Computing InstituteGo to institution
- Department of MathematicsGo to institution
- Faculty of PhysicsGo to institution
- Faculty 2 - Faculty of ArchitectureGo to institution
- Faculty 3 - Faculty of Civil EngineeringGo to institution
- Faculty 4 - Mechanical EngineeringGo to institution
- Faculty 5 - Georesources and Materials EngineeringGo to institution
- Faculty 6 - Faculty of Electrical EngineeringGo to institution
- Faculty 7 - Faculty of Arts and Human SciencesGo to institution
- Faculty 8 - Faculty of EconomicsGo to institution
- University Hospital Aachen - Faculty of MedicineGo to institution
- Other FacilitiesGo 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.