Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
Kontakt
Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
Ahornstraße 2
52056 Aachen
52056 Aachen
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
- Fakultät 1 - Mathematik, Informatik und NaturwissenschaftenZur Einrichtung
- Fachgruppe BiologieZur Einrichtung
- Fachgruppe ChemieZur Einrichtung
- Fachgruppe InformatikZur Einrichtung
- Computer Vision GroupZur Einrichtung
- Informatik 1 - Lehrgebiet Theoretische InformatikZur Einrichtung
- Informatik 1 - Lehrstuhl Algorithmen und KomplexitätZur Einrichtung
- Informatik 10 - Lehrstuhl MedieninformatikZur Einrichtung
- Informatik 11 - Lehrstuhl Software für eingebettete SystemeZur Einrichtung
- Informatik 12 - Lehr- und Forschungsgebiet Software und Werkzeuge für Computational EngineeringZur Einrichtung
- Informatik 12 - Lehr- und Forschungsgebiet Virtuelle RealitätZur Einrichtung
- Informatik 12 - Lehrstuhl für HochleistungsrechnenZur Einrichtung
- Informatik 14 - Lehrstuhl für Methodik der Künstlichen Intelligenz (AIM)Zur Einrichtung
- Informatik 2 - Lehr- und Forschungsgebiet Programmiersprachen und VerifikationZur Einrichtung
- Informatik 2 - Lehr- und Forschungsgebiet Theorie Hybrider SystemeZur Einrichtung
- Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
- Informatik 3 - Lehr- und Forschungsgebiet SoftwarekonstruktionZur Einrichtung
- Informatik 3 - Software EngineeringZur Einrichtung
- Informatik 4 - Lehrstuhl Kommunikation und Verteilte SystemeZur Einrichtung
- Informatik 5 - Lehr- und Forschungsgebiet Life Science InformatikZur Einrichtung
- Informatik 5 - Lehr- und Forschungsgebiet Wissensbasierte SystemeZur Einrichtung
- Informatik 5 - Lehrstuhl Informationssysteme und DatenbankenZur Einrichtung
- Informatik 6 - Lehrstuhl Sprachverarbeitung und MustererkennungZur Einrichtung
- Informatik 7 - Lehr- und Forschungsgebiet Komplexität diskreter ProblemeZur Einrichtung
- Informatik 7 - Lehrstuhl Logik und Theorie diskreter SystemeZur Einrichtung
- Informatik 7: Lehr- und Forschungsgebiet für Mathematische Grundlagen der InformatikZur Einrichtung
- Informatik 8 - Lehrstuhl für Computergraphik und MultimediaZur Einrichtung
- Informatik 8: Chair for Mobile Multimedia ProcessingZur Einrichtung
- Informatik 9 - Lehr- und Forschungsgebiet Business Process Management Foundations and EngineeringZur Einrichtung
- Informatik 9 - Lehr- und Forschungsgebiet LerntechnologienZur Einrichtung
- Juniorprofessur für Datenstrom-Management und -AnalyseZur Einrichtung
- Lehr- und Forschungsgebiet Informatik-IT-SicherheitZur Einrichtung
- Lehrstuhl für Informatik 9 - Process and Data ScienceZur Einrichtung
- Lehrstuhl für Informations- und Automatisierungssysteme für die Prozess- und WerkstofftechnikZur Einrichtung
- Visual Computing InstituteZur Einrichtung
- Fachgruppe MathematikZur Einrichtung
- Fachgruppe PhysikZur Einrichtung
- Fakultät 2 - ArchitekturZur Einrichtung
- Fakultät 3 - BauingenieurwesenZur Einrichtung
- Fakultät 4 - MaschinenwesenZur Einrichtung
- Fakultät 5 - Georessourcen und MaterialtechnikZur Einrichtung
- Fakultät 6 - Elektrotechnik und InformationstechnikZur Einrichtung
- Fakultät 7 - Philosophische FakultätZur Einrichtung
- Fakultät 8 - WirtschaftswissenschaftenZur Einrichtung
- Universitätsklinikum Aachen - Medizinische Fakultät der RWTHZur Einrichtung
- Weitere EinrichtungenZur Einrichtung
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular