Universität des Saarlandes
Professur für Informatik mit dem Schwerpunkt Quantitative Verifikation
Kontakt
Professur für Informatik mit dem Schwerpunkt Quantitative Verifikation
Campus E1.3
66123 Saarbrücken
66123 Saarbrücken
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
Universität des Saarlandes
Alle Ebenen einblenden | ausblenden
- Europa-InstitutZur Einrichtung
- Europa-Kolleg CEUSZur Einrichtung
- Fakultät für Empirische Humanwissenschaften und WirtschaftswissenschaftZur Einrichtung
- Fakultät für Mathematik und InformatikZur Einrichtung
- Fachrichtung MathematikZur Einrichtung
- Saarland Informatics Campus (SIC)Zur Einrichtung
- Arbeitsbereich Algorithmen und Komplexität (Bringmann)Zur Einrichtung
- Computer Vision and Machine Perception LabZur Einrichtung
- Institut für Rechenarchitektur und ParallelrechnerZur Einrichtung
- Juniorprofessur für Real-Time and Embedded SystemsZur Einrichtung
- Kompetenzzentrum Informatik SaarlandZur Einrichtung
- Lehrstuhl ComputergraphikZur Einrichtung
- Lehrstuhl f Maschinelles LernenZur Einrichtung
- Lehrstuhl für Dependable Systems and SoftwareZur Einrichtung
- Lehrstuhl für Grundlagen der Künstlichen IntelligenzZur Einrichtung
- Lehrstuhl für InformatikZur Einrichtung
- Lehrstuhl für Informatik und ComputerlinguistikZur Einrichtung
- Lehrstuhl für Informatik, insbesondere Datenbanken und InformationssystemeZur Einrichtung
- Lehrstuhl für KomplexitätstheorieZur Einrichtung
- Lehrstuhl für Künstliche IntelligenzZur Einrichtung
- Lehrstuhl für NachrichtentechnikZur Einrichtung
- Lehrstuhl für Programmiersprachen und Compiler KonstruktionZur Einrichtung
- Lehrstuhl für Software EngineeringZur Einrichtung
- Lehrstuhl für SystemprogrammierungZur Einrichtung
- Lehrstuhl für Theoretische InformatikZur Einrichtung
- Lehrstuhl Informationssicherheit und KryptographieZur Einrichtung
- Professur für Informatik mit dem Schwerpunkt Quantitative Verifikation
- Professur für Mensch-Computer-InteraktionZur Einrichtung
- Professur für Technology Enhanced LearningZur Einrichtung
- Reactive Systems GroupZur Einrichtung
- Ubiquitous Media TechnologiesZur Einrichtung
- FrankreichzentrumZur Einrichtung
- Intel Visual Computing InstituteZur Einrichtung
- Medizinische FakultätZur Einrichtung
- Multi-Modal Computing and Interaction (MMCI)Zur Einrichtung
- Naturwissenschaftlich-Technische FakultätZur Einrichtung
- Philosophische FakultätZur Einrichtung
- Rechtswissenschaftliche FakultätZur Einrichtung
- Saarländische Universitäts- und LandesbibliothekZur Einrichtung
- UniversitätsarchivZur Einrichtung
- Universitätsklinikum des SaarlandesZur Einrichtung
- Zentrum für BioinformatikZur Einrichtung
- Zentrum für BiophysikZur Einrichtung
- Zentrum für Human- und Molekularbiologie (ZHMB)Zur Einrichtung
- Zentrum für Lehrerbildung (ZFL)Zur Einrichtung
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular