Detailseite
Ludwig-Maximilians-Universität München
Institut für Informatik
- Schwerpunktprogramme
- Sachbeihilfen
-
laufende Projekte
-
Brückenbildung zwischen Hardware- und Software-Analyse(Antragsteller Beyer, Dirk ; Lee, Ph.D., Nian-Ze )
-
Kooperative Softwareverifikation 2(Antragstellerinnen / Antragsteller Beyer, Dirk ; Wehrheim, Heike )
-
abgeschlossene Projekte
-
laufende Projekte
- Sonderforschungsbereiche
- Forschungsgruppen
- Forschungsstipendien
- Transregios
- Forschungsdaten und Software
- Graduiertenkollegs
- Internationale Graduiertenkollegs
- Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien