TU Dortmund University
Chair of Computer Science I (Logic in Computer Science)
Contact
Chair of Computer Science I (Logic in Computer Science)
Otto-Hahn-Straße 16
44227 Dortmund
44227 Dortmund
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Dortmund Life Science Center (DOLCE)Go to institution
- Teacher Training CentreGo to institution
- Faculty of Architecture and Civil EngineeringGo to institution
- Faculty Biochemical and Chemical EngineeringGo to institution
- Faculty ChemistryGo to institution
- Faculty of Education, Psychology and SociologyGo to institution
- Faculty Electrical Engineering and Information TechnologyGo to institution
- Faculty for Computer ScienceGo to institution
- Chair of Computer Science I (Logic in Computer Science)
- Chair of Computer Science II (Theory of Complexity and Efficient Algorithms)Go to institution
- Chair of Computer Science III (Operating Systems and Computer Architecture)Go to institution
- Computer Science Chair IV - Chair of Quantitative Techniques in Computer ScienceGo to institution
- Chair of Computer Science V (Subject Area: Programming Languages)Go to institution
- Chair of Computer Science VIGo to institution
- Computer Science VII - Computer GraphicsGo to institution
- Chair of Computer Science VIII - Artificial IntelligenceGo to institution
- Chair of Algorithm EngineeringGo to institution
- Chair in Computer Science XII (Computer Engineering and Embedded Systems and Didactics of Computer Science)Go to institution
- Chair of Computer Science XIII - e-ServicesGo to institution
- Computer Science Chair XIV- Software EngineeringGo to institution
- Lehrstuhl für sichere autonome SystemeGo to institution
- Chair for Verification and Formal Guarantees of Machine LearningGo to institution
- Faculty for MathematicsGo to institution
- Faculty Human Sciences and TheologyGo to institution
- Faculty Cultural SciencesGo to institution
- Faculty of Art and SportGo to institution
- Faculty Mechanical EngineeringGo to institution
- Faculty PhysicsGo to institution
- Faculty of Spatial PlanningGo to institution
- Faculty Rehabilitation SciencesGo to institution
- Faculty of Social SciencesGo to institution
- Faculty StatisticsGo to institution
- Faculty of Business and EconomicsGo to institution
- Institute of Robotics (IRF)Go to institution
- Interdisciplinary Research Focus: Dynamics of Gender ConstellationsGo to institution
- Social Research Centre Dortmund (sfs)Go to institution
- Ruhr Area (UA Ruhr)Go to institution
- University LibraryGo to institution
- Centre for Higher Education (zhb)Go to institution
- Centre for Synchrotron RadiationGo 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.