Logo: German Research InstitutionsGerman Research Institutions

Computer Science 2: Chair of Programming Languages and Verification

  • Doctoral programmes
  • Institutions
  • Projekts / Doctoral Opportunities
  • Top
RWTH Aachen University

Computer Science 2: Chair of Programming Languages and Verification

Ahornstraße 55, 52074 Aachen

Go to websiteApplied Computer Science

Affiliated institutions

  • Faculty 1 - Mathematics, Science, and Computer Science at Aachen University of Technology
    • Biology Research Group
    • Department of Chemistry
    • Department of Computer Science
      • Computer Vision Group
      • Teaching Theoretical Computer Science
      • Chair of Computer Science 1 (Algorithms and Complexity)
      • Computer Science 10 - Media Computing Group
      • Computer Science 11: Chair of Software for Embedded Systems
      • Computer Science 12 - Software and Tools for Computational Engineering
      • Computer Science 12 - Teaching and Research Area: Virtual Reality
      • Computer Science 12 - High Performance Computing
      • Computer Science 14 - Chair of Artificial Intelligence Methodology
      • Computer Science 15 - Chair of Quantum Information Systems
      • Computer Science 2: Chair of Programming Languages and Verification
      • Rsearch Group Theory of Hybrid Systems
      • Chair for Software Modeling and Verification
      • Computer Science 3 - Software Construction
      • Computer Science 3 - Chair of Software Engineering
      • Computer Science 4: Chair of Communication and Distributed Systems
      • Computer Science 5 - Life Science Informatics
      • Computer Science 5 - Knowledge Based Systems
      • Chair of Computer Science 5 - Information Systems
      • Chair of Computer Science VI - Human Language Technology and Pattern Recognition
      • Computer Science 7 - Teaching and Research Area: Complexity of Discrete Problems
      • Chair in Computer Science 7 - (Research Focus: Theoretical Computer Science)
      • Computer Science 7: Mathematical Principles of Computer Science
      • Computer Science 8 - Chair of Computer Graphics and Multimedia
      • Computer Sciences 8 - Chair for Mobile Multimedia Processing
      • Business Process Management: foundations and engineering (BPM) group
      • Computer Science 9 - Learning Technologies Research Group
      • Junior Professorship for Data Stream Management and Analysis
      • Research Group IT-Security
      • Chair of Computer Science 9 - Process and Data Science
      • Chair for information and automation systems for process and materials technology
      • Visual Computing Institute
    • Department of Mathematics
    • Faculty of Physics
  • Faculty 2 - Faculty of Architecture
  • Faculty 3 - Faculty of Civil Engineering
  • Faculty 4 - Mechanical Engineering
  • Faculty 5 - Georesources and Materials Engineering
  • Faculty 6 - Faculty of Electrical Engineering
  • Faculty 7 - Faculty of Arts and Human Sciences
  • Faculty 8 - Faculty of Economics
  • University Hospital Aachen - Faculty of Medicine
  • Other Facilities