Humboldt-Universität zu Berlin
Research group on Specification, Verification and Testing Theory
Contact
Research group on Specification, Verification and Testing Theory
Unter den Linden 6
10099 Berlin
10099 Berlin
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Berlin Graduate School of Social Sciences (BGSS)Go to institution
- Berlin School of Mind and BrainGo to institution
- Berlin-Brandenburg School for Regenerative TherapiesGo to institution
- Berlin Institute for Islamic TheologyGo to institution
- Border Crossings - Crossing Borders. Berlin Centre for Transnational Border ResearchGo to institution
- Center for Humanities and Social ChangeGo to institution
- Erwin Schrödinger CentreGo to institution
- Excellence Cluster TopoiGo to institution
- Cluster of Excellence Matters of ActivityGo to institution
- Research Programme on Religious Communities and Sustainable DevelopmentGo to institution
- Georg Simmel Centre for Metropolitan StudiesGo to institution
- Central Institute: Great Britain CentreGo to institution
- Hermann von Helmholtz-Centre for Cultural EngineeringGo to institution
- Humboldt Graduate SchoolGo to institution
- Integrative Research Institute (IRI) for the Life SciencesGo to institution
- Integrative Research Institute on Transformations of Human-Environment Systems (IRI THESys)Go to institution
- Interdisciplinary Centre for Educational ResearchGo to institution
- IRIS AdlershofGo to institution
- Faculty of LawGo to institution
- Civilisation, Social and Education Sciences FacultyGo to institution
- Faculty of Life SciencesGo to institution
- Faculty of Mathematics and ScienceGo to institution
- Institute of GeographyGo to institution
- Department of ChemistryGo to institution
- Department of Computer ScienceGo to institution
- Research Group Computer Science Education/Computer Science and SocietyGo to institution
- Artificial Intelligence WorkgroupGo to institution
- ComputervisionGo to institution
- Subject Area: Parallel and Distributed SystemsGo to institution
- Subject Area: Signal Processing and Pattern RecognitionGo to institution
- Subject Area: Software EngineeringGo to institution
- Systems Architecture GroupGo to institution
- Research group on Specification, Verification and Testing Theory
- Department of Complexity and CryptographyGo to institution
- Computer Science in Education and SocietyGo to institution
- Chair of Algorithm EngineeringGo to institution
- Chair Algorithms and ComplexityGo to institution
- Database and Information Systems GroupGo to institution
- Machine Learning GroupGo to institution
- Chair of Process Management and Information SystemsGo to institution
- Chair of Cognitive RoboticsGo to institution
- Chair of Logic in Computer ScienceGo to institution
- Subject Area: Systems AnalysisGo to institution
- Chair of Programming TheoryGo to institution
- Chair of Knowledge Management in BioinformaticsGo to institution
- Department of MathematicsGo to institution
- Institute of PhysicsGo to institution
- School of Analytical Sciences Adlershof (SALSA)Go to institution
- Faculty of Arts and HumanitiesGo to institution
- Professional School of Education (PSE)Go to institution
- Robert K. Merton Center for Science StudiesGo to institution
- Faculty of Language, Literature and HumanitiesGo to institution
- Faculty of TheologyGo to institution
- University LibraryGo to institution
- School of Business and EconomicsGo to institution
- Institute for Catholic TheologyGo to institution
- Centre for Biophysics and BioinformaticsGo to institution
- Centre for Transdisciplinary Gender StudiesGo 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.