Quantitative Verification Group in GERiT

Saarland University

Quantitative Verification Group

Campus E1.3 null, 66123 Saarbrücken

Go to websiteComputer Science (General)

Affiliated institutions

All level expanded | collapsed

Europe Institute
Cluster for European Research
Faculty of Empirical Human Sciences and Economic Science
Faculty of Mathematics and Informatics
- Department of Mathematics
- Saarland Informatics Campus (SIC)
  - Arbeitsbereich Algorithmen und Komplexität (Bringmann)
  - Computer Vision and Machine Perception Lab
  - Institute for Computer Architecture and Parallel Computing
  - Real-Time and Embedded Systems Lab
  - Competence Center of Computer Science
  - Computer Graphics Lab
  - Machine Learning Group
  - Professorship for Dependable Systems and Software
  - Foundations of Artificial Intelligence (FAI) Group
  - Chair of Computer Science (Prof Siekmann)
  - Chair of Computer Science and Computational Linguistics
  - Big Data Analytics Group
  - Chair for Computational Complexity
  - Artificial Intelligence Group
  - Telecommunications Lab
  - Compiler Design Lab
  - Chair of Software Engineering
  - Programming Systems Lab
  - Chair of Theoretical Computer Science
  - Information Security & Cryptography Group
  - Quantitative Verification Group
  - Human Computer Interaction Lab
  - Proffesorship for Technology Enhanced Learning
  - Reactive Systems Group
  - Ubiquitous Media Technologies
France Centre of Saarland University
Intel Visual Computing Institute
Käte Hamburger Research Centre for Cultural Practices of Reparation (CURE)
Faculty of Medicine
Multi-Modal Computing and Interaction (MMCI)
Faculty of Natural Sciences and Technology
Faculty of Arts
Faculty of Law
Saar University and State Library
University Archive
Saarland University Medical Center
Centre of Bioinformatics
Center for Biophysics
Centre of Human and Molecular Biology (ZHMB)
Centre for Teacher Training (ZFL)

Projekts / Doctoral Opportunities

Doctoral Opportunities at this institution

Are you affiliated with this institution or do you represent it?

If you would like to request changes, please use our correction form.