Technische Universität Berlin
Theoretical Computer Science/ Formal Specification (TFS)
Contact
Theoretical Computer Science/ Formal Specification (TFS)
Marchstraße 23
10587 Berlin
10587 Berlin
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Berlin Cert - Institute for Testing and Certification of Medical Devices associated with the Technical University BerlinGo to institution
- School I - HumanitiesGo to institution
- School II - Mathematics and Natural SciencesGo to institution
- School III - Process Sciences and EngineeringGo to institution
- School IV - Electrical Engineering and Computer SciencesGo to institution
- Data Integration and Data Preparation (D2IP)Go to institution
- Department of Machine Learning and CommunicationGo to institution
- Research Area: Microperipheric TechnologiesGo to institution
- Institute of Energy and Automation TechnologyGo to institution
- Department of High-Frequency and Semiconductor System TechnologiesGo to institution
- Department of Software Engineering and Theoretical Computer ScienceGo to institution
- Department of Algorithms and Complexity TheoryGo to institution
- Database Systems and Information Management GroupGo to institution
- Department for Distributed Security Infrastructures (DSI)Go to institution
- Research Group Logic and SemanticsGo to institution
- Machine Learning and IT Security SectionGo to institution
- Artificial Intelligence GroupGo to institution
- Models and Theory of Distributed SystemsGo to institution
- Modelling of Cognitive ProcessesGo to institution
- Neural Information Processing Group (NI)Go to institution
- Software Engineering for Embedded Systems GroupGo to institution
- Research Group for Secure and Trustworthy Network-Attached System ArchitecturesGo to institution
- Fachgebiet Software und Algorithmen für die diskrete OptimierungGo to institution
- Theoretical Computer Science/ Formal Specification (TFS)
- Compiler Construction and Programming Languages GroupGo to institution
- Chair for NeurotechnologyGo to institution
- Chair for Security in TelecommunicationsGo to institution
- Quality and Usability LabGo to institution
- Institute of Computer Engineering and MicroelectronicsGo to institution
- Department of Telecommunication SystemsGo to institution
- Department of Information Systems and Knowledge-Based MethodsGo to institution
- The Berlin Institute for the Foundations of Learning and Data (BIFOLD)Go to institution
- School V - Mechanical Engineering and Transport SystemsGo to institution
- School VI - Planning - Building - EnvironmentGo to institution
- School VII - Economics and ManagementGo to institution
- Centre for Water in Urban AreasGo to institution
- Automotive and Traffic Engineering Society (GmbH)Go to institution
- Innovation Centre Energy (IZE)Go to institution
- Innovation Center Technologies for Health and FoodsGo to institution
- University LibraryGo to institution
- Central Facility for Electron MicroscopyGo to institution
- Central Facility Modern Languages (ZEMS)Go to institution
- Central Facility, "Research Institute of Hydraulic Engineering and Naval Architecture"Go to institution
- Center for Technology and Society (ZTG)Go 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.