Logo: German Research InstitutionsGerman Research Institutions

Informatik 2 - Lehr- und Forschungsgebiet Programmiersprachen und Verifikation

  • Promotion
  • Einrichtungen
  • Projekte / Promotionsmöglichkeiten
  • Top
Rheinisch-Westfälische Technische Hochschule Aachen

Informatik 2 - Lehr- und Forschungsgebiet Programmiersprachen und Verifikation

Ahornstraße 55, 52074 Aachen

Zur HomepageAngewandte Informatik

Zugehörige Einrichtungen

  • Fakultät 1 - Mathematik, Informatik und Naturwissenschaften
    • Fachgruppe Biologie
    • Fachgruppe Chemie
    • Fachgruppe Informatik
      • Computer Vision Group
      • Informatik 1 - Lehrgebiet Theoretische Informatik
      • Informatik 1 - Lehrstuhl Algorithmen und Komplexität
      • Informatik 10 - Lehrstuhl Medieninformatik
      • Informatik 11 - Lehrstuhl Software für eingebettete Systeme
      • Informatik 12 - Lehr- und Forschungsgebiet Software und Werkzeuge für Computational Engineering
      • Informatik 12 - Lehr- und Forschungsgebiet Virtuelle Realität
      • Informatik 12 - Lehrstuhl für Hochleistungsrechnen
      • Informatik 14 - Lehrstuhl für Methodik der Künstlichen Intelligenz (AIM)
      • Informatik 15 - Lehrstuhl für Quanteninformationssysteme
      • Informatik 2 - Lehr- und Forschungsgebiet Programmiersprachen und Verifikation
      • Informatik 2 - Lehr- und Forschungsgebiet Theorie Hybrider Systeme
      • Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
      • Informatik 3 - Lehr- und Forschungsgebiet Softwarekonstruktion
      • Informatik 3 - Software Engineering
      • Informatik 4 - Lehrstuhl Kommunikation und Verteilte Systeme
      • Informatik 5 - Lehr- und Forschungsgebiet Life Science Informatik
      • Informatik 5 - Lehr- und Forschungsgebiet Wissensbasierte Systeme
      • Informatik 5 - Lehrstuhl Informationssysteme und Datenbanken
      • Informatik 6 - Lehrstuhl Sprachverarbeitung und Mustererkennung
      • Informatik 7 - Lehr- und Forschungsgebiet Komplexität diskreter Probleme
      • Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
      • Informatik 7: Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
      • Informatik 8 - Lehrstuhl für Computergraphik und Multimedia
      • Informatik 8: Chair for Mobile Multimedia Processing
      • Informatik 9 - Lehr- und Forschungsgebiet Business Process Management Foundations and Engineering
      • Informatik 9 - Lehr- und Forschungsgebiet Lerntechnologien
      • Juniorprofessur für Datenstrom-Management und -Analyse
      • Lehr- und Forschungsgebiet Informatik-IT-Sicherheit
      • Lehrstuhl für Informatik 9 - Process and Data Science
      • Lehrstuhl für Informations- und Automatisierungssysteme für die Prozess- und Werkstofftechnik
      • Visual Computing Institute
    • Fachgruppe Mathematik
    • Fachgruppe Physik
  • Fakultät 2 - Architektur
  • Fakultät 3 - Bauingenieurwesen
  • Fakultät 4 - Maschinenwesen
  • Fakultät 5 - Georessourcen und Materialtechnik
  • Fakultät 6 - Elektrotechnik und Informationstechnik
  • Fakultät 7 - Philosophische Fakultät
  • Fakultät 8 - Wirtschaftswissenschaften
  • Universitätsklinikum Aachen - Medizinische Fakultät der RWTH
  • Weitere Einrichtungen