Stand: 22. Mai 2013
Programmbetreuung (verfahrenstechnisch)
Forschergruppe
| 1085 |
OC-TRUST - Vertrauenswürdigkeit von Organic Computing Systemen |
| 1513 |
Hybrid Reasoning for Intelligent Systems (HYBRIS) |
Schwerpunktprogramm
| 1307 |
Algorithm Engineering |
| 1324 |
Mathematische Methoden zur Extraktion quantifizierbarer Information aus komplexen Systemen |
Programmbetreuung (fachlich)
Graduiertenkolleg
| 1763 |
Quantitative Logiken und Automaten |
| 1765 |
Systemkorrektheit unter widrigen Umständen - SCARE |
| 1817 |
Neue Herausforderungen für die Kryptographie in ubiquitären Rechnerwelten |
Graduiertenschule
| 14 |
Berlin Mathematical School |
SFB/Transregio
| 14 |
AVACS - Automatische Verifikation und Analyse komplexer Systeme |
Sonderforschungsbereich
| 1060 |
Die Mathematik der emergenten Effekte |
