Professur für Informatik mit dem Schwerpunkt Quantitative Verifikation in GERiT

Universität des Saarlandes

Professur für Informatik mit dem Schwerpunkt Quantitative Verifikation

Campus E1.3 null, 66123 Saarbrücken

Zur HomepageInformatik allgemein

Zugehörige Einrichtungen

Alle Ebenen einblenden | ausblenden

Europa-Institut
Europa-Kolleg CEUS
Fakultät für Empirische Humanwissenschaften und Wirtschaftswissenschaft
Fakultät für Mathematik und Informatik
- Fachrichtung Mathematik
- Saarland Informatics Campus (SIC)
  - Arbeitsbereich Algorithmen und Komplexität (Bringmann)
  - Computer Vision and Machine Perception Lab
  - Institut für Rechenarchitektur und Parallelrechner
  - Juniorprofessur für Real-Time and Embedded Systems
  - Kompetenzzentrum Informatik Saarland
  - Lehrstuhl Computergraphik
  - Lehrstuhl f Maschinelles Lernen
  - Lehrstuhl für Dependable Systems and Software
  - Lehrstuhl für Grundlagen der Künstlichen Intelligenz
  - Lehrstuhl für Informatik
  - Lehrstuhl für Informatik und Computerlinguistik
  - Lehrstuhl für Informatik, insbesondere Datenbanken und Informationssysteme
  - Lehrstuhl für Komplexitätstheorie
  - Lehrstuhl für Künstliche Intelligenz
  - Lehrstuhl für Nachrichtentechnik
  - Lehrstuhl für Programmiersprachen und Compiler Konstruktion
  - Lehrstuhl für Software Engineering
  - Lehrstuhl für Systemprogrammierung
  - Lehrstuhl für Theoretische Informatik
  - Lehrstuhl Informationssicherheit und Kryptographie
  - Professur für Informatik mit dem Schwerpunkt Quantitative Verifikation
  - Professur für Mensch-Computer-Interaktion
  - Professur für Technology Enhanced Learning
  - Reactive Systems Group
  - Ubiquitous Media Technologies
Frankreichzentrum
Intel Visual Computing Institute
Käte Hamburger Kolleg für kulturelle Praktiken der Reparation (CURE)
Medizinische Fakultät
Multi-Modal Computing and Interaction (MMCI)
Naturwissenschaftlich-Technische Fakultät
Philosophische Fakultät
Rechtswissenschaftliche Fakultät
Saarländische Universitäts- und Landesbibliothek
Universitätsarchiv
Universitätsklinikum des Saarlandes
Zentrum für Bioinformatik
Zentrum für Biophysik
Zentrum für Human- und Molekularbiologie (ZHMB)
Zentrum für Lehrerbildung (ZFL)

Projekte / Promotionsmöglichkeiten

Promotionsmöglichkeiten an dieser Einrichtung

Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?

Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular