News Archiv
Die Universität des Saarlandes erhielt heute die Förderzusage für zwei Sonderforschungsbereiche in der Informatik und den Lebenswissenschaften. Für die Universität bedeutet dieser doppelte Forschungserfolg, dass in den kommenden Jahren rund 17 Millionen Euro Fördergelder von der Deutschen Forschungsgemeinschaft ins Saarland fließen. Der lebenswissenschaftliche Sonderforschungsbereich der Medizin wurde jetzt zum zweiten Mal verlängert und kommt damit in die dritte und letzte Förderphase. [...]
Selbst Experten verstehen das Verhalten komplexer Softwaresysteme immer weniger. Dabei regeln diese inzwischen immer stärker unseren Alltag, sei es als intelligente Haussteuerung, im autonomen Fahrzeug oder in der industriellen Produktion. Wissenschaftler der Universität des Saarlandes, zweier Max-Planck-Institute und der Technischen Universität Dresden wollen jetzt in einem neuen Sonderforschungsbereich Mechanismen entwickeln, die nicht nur Experten, sondern auch Laien das Verhalten komplexer [...]
Das Magazin Capital hat CISPA-Wissenschaftler Prof. Dr. Christian Rossow zum zweiten Mal in Folge zur „Jungen Elite – die Top 40 unter 40“ gezählt. Damit werden 40 Talente unter 40 Jahren aus Wissenschaft, Verbänden, Kultur, Sport und Initiativen ausgezeichnet, die „unser Land prägen“. Beim so genannten „Junge Elite Gipfel“ trafen sich die diesjährigen Preisträger und Alumni zum Kennenlernen und Austauschen in Berlin. Ziel der jährlichen Veranstaltung ist, dass durch [...]
Jilles Vreeken, Leiter der Gruppe „Exploratory Data Analysis“ am CISPA-Helmholtz-Zentrum für Informationssicherheit, ist in Singapur auf der „International Conference on Data Mining“ des Berufsverbandes IEEE mit dem Tao Li Preis ausgezeichnet worden. Der Tao Li Preis wurde im Dezember 2017 gegründet. Die Auszeichnung ist nach Professor Tao Li von der Florida International University benannt, der im Dezember 2017 verstarb, und bereits trotz seines jungen Alters als herausragender Lehrer [...]
Georg Zetzsche has joined the institute as a tenure-track faculty member, effective November 1, 2018. He is joining us from the Institut de Recherche en Informatique Fondamentale (IRIF) at Université Paris-Diderot, where he has been a postdoctoral researcher. Georg’s goal is to understand which questions about program behaviors and other infinite structures can be answered efficiently. His research focuses on issues of decidability, complexity, synthesis, and expressiveness arising in program verification and mathematics.
118119120121122 ...
236»