Technische Universität Berlin
Fachgebiet Theoretische Informatik/ Formale Spezifikation
Kontakt
Fachgebiet Theoretische Informatik/ Formale Spezifikation
Marchstraße 23
10587 Berlin
10587 Berlin
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
Technische Universität Berlin
Alle Ebenen einblenden | ausblenden
- Berlin Cert GmbH - Prüf- und Zertifizierstelle für Medizinprodukte GmbH an der TU BerlinZur Einrichtung
- Fakultät I - Geistes- und BildungswissenschaftenZur Einrichtung
- Fakultät II - Mathematik und NaturwissenschaftenZur Einrichtung
- Fakultät III - ProzesswissenschaftenZur Einrichtung
- Fakultät IV - Elektrotechnik und InformatikZur Einrichtung
- Data Integration and Data Preparation (D2IP)Zur Einrichtung
- Fachgebiet Maschinelles Lernen und KommunikationZur Einrichtung
- Forschungsschwerpunkt Technologien der MikroperipherikZur Einrichtung
- Institut für Energie- und AutomatisierungstechnikZur Einrichtung
- Institut für Hochfrequenz- und Halbleiter-SystemtechnologienZur Einrichtung
- Institut für Softwaretechnik und Theoretische InformatikZur Einrichtung
- Fachgebiet Algorithmik und KomplexitätstheorieZur Einrichtung
- Fachgebiet Datenbanksysteme und Informationsmanagement (DIMA)Zur Einrichtung
- Fachgebiet Distributed Security Infrastructures (DSI)Zur Einrichtung
- Fachgebiet Logik und SemantikZur Einrichtung
- Fachgebiet Maschinelles Lernen und IT-SicherheitZur Einrichtung
- Fachgebiet Maschinelles Lernen/ Intelligente DatenanalyseZur Einrichtung
- Fachgebiet Methoden der Künstlichen Intelligenz (KI)Zur Einrichtung
- Fachgebiet Modelle und Theorie Verteilter Systeme (MTV)Zur Einrichtung
- Fachgebiet Modellierung kognitiver ProzesseZur Einrichtung
- Fachgebiet Neuronale InformationsverarbeitungZur Einrichtung
- Fachgebiet Programmierung eingebetteter SystemeZur Einrichtung
- Fachgebiet Sichere und vertrauenswürdige netzangebundene SystemarchitekturenZur Einrichtung
- Fachgebiet Software und Algorithmen für die diskrete OptimierungZur Einrichtung
- Fachgebiet Theoretische Informatik/ Formale Spezifikation
- Fachgebiet Übersetzerbau und ProgrammiersprachenZur Einrichtung
- Lehrstuhl für NeurotechnologieZur Einrichtung
- Lehrstuhl für Security in Telecommunications (SecT)Zur Einrichtung
- Quality and Usability LabZur Einrichtung
- Institut für Technische Informatik und MikroelektronikZur Einrichtung
- Institut für TelekommunikationssystemeZur Einrichtung
- Institut für Wirtschaftsinformatik und Quantitative MethodenZur Einrichtung
- The Berlin Institute for the Foundations of Learning and Data (BIFOLD)Zur Einrichtung
- Fakultät V - Verkehrs- und MaschinensystemeZur Einrichtung
- Fakultät VI - Planen Bauen UmweltZur Einrichtung
- Fakultät VII - Wirtschaft und ManagementZur Einrichtung
- Forschungsschwerpunkt Wasser in BallungsräumenZur Einrichtung
- Ingenieurgesellschaft Auto und Verkehr GmbH (IAV)Zur Einrichtung
- Innovationszentrum Energie (IZE)Zur Einrichtung
- Innovationszentrum Technologien für Gesundheit und Ernährung (IGE)Zur Einrichtung
- UniversitätsbibliothekZur Einrichtung
- Zentraleinrichtung Elektronenmikroskopie (ZELMI)Zur Einrichtung
- Zentraleinrichtung Moderne Sprachen (ZEMS)Zur Einrichtung
- Zentralwerkstatt, ehm. Versuchsanstalt für Wasserbau und SchiffbauZur Einrichtung
- Zentrum Technik und Gesellschaft (ZTG)Zur Einrichtung
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular