Logo: German Research InstitutionsGerman Research Institutions

Chair for Foundations of Programming

  • Doctoral programmes
  • Institutions
  • Projekts / Doctoral Opportunities
  • Top
Dresden University of Technology

Chair for Foundations of Programming

Nöthnitzer Straße 46, 01187 Dresden

Go to websiteTheoretical Computer Science

Affiliated institutions

  • School of Civil and Environmental Engineering
  • School of Humanities and Social Sciences
  • School of Engineering Sciences
    • Faculty of Electrical Engineering and Information Engineering
    • Faculty of Computer Science
      • Institute of Applied Computer Science
      • Institute of Artificial Intelligence
      • Institute of Software and Multimedia Technology
      • Institute of Systems Architecture
      • Institute of Computer Engineering
      • Institute of Theoretical Computer Science
        • Research Group Knowledge-Based Systems
        • Chair of Algebraic and Logical Foundations of Computer Science
        • Chair of Automata Theory
        • Chair for Foundations of Programming
      • International Center for Computational Logic (ICCL)
    • Faculty of Mechanical Engineering
  • Area of Mathematics and Science (including Psychology)
  • School of Medicine
  • Other Units
  • Central Academic Units