die in der Praxis umgesetzt werden sollen. Aber dieses Erzeugen von Artefakten, wie man in der Informatik sagen würde, reicht auf keinen Fall aus. Wir brauchen Leute, die die Forschungsergebnisse umsetzen
Theory (MSc) Informatik III (BSc) Summer term 2021 Logic and Verification (BSc) Algorithmische Spieltheorie (MSc) Proseminar (BSc) Winter term 2020/21 Complexity Theory (MSc) Informatik III (BSc) Summer […] 2018/2019 Complexity Theory (MSc) Informatik III (BSc) Summer term 2018 Logic and Verification (BSc) Algorithmische Spieltheorie (MSc) Proseminar (BSc) Winter term 2017/2018 Informatik III (BSc) Game Theory (MSc) […] Complexity Theory (MSc) Informatik III (BSc) Summer term 2016 Fortgeschrittenenprojekt/Projekt im Bachelor Logic and Verification (BSc) Winter term 2015/2016 Proseminar (BSc) Informatik III (BSc) Summer term
Willkommen am Institute for Software and Systems Engineering Die Zukunft der Informatik gestalten! Unsere Mission: „Die Lücke zwischen Adaptivität und Verlässlichkeit nachhaltiger Systeme, Methoden und
Institut für Informatik (D8), Am Regenbogen 15, Seminarraum 210 Prof. Dr. Wojtek Jamroga University of Luxembourg and Polish Academy of Sciences How to Save Democracy (or Towards Model Checking of E-Voting
schaften, & Engineering, Chemieingenieurwesen Nein / K.A. University of Prishtina Kuba Havanna Informatik Ja Instituto Superior Politécnico José Antonio Echeverr á Kuba Moa Geowissenschaften, Bergbau, […] Teil Universidad Autónoma de Nuevo León Mexiko Queretaro Maschinenbau, Mechatronik, Technische Informatik, Informationstechnik Ja Universidad Politecnica de Queretaro Namibia Windhoek Bergbau, Geotechnics […] Uruguay Montevideo Chemieingenieurwesen/Verfahrenstechnik, Maschinenbau, Energie und Rohstoffe, Informatik, BWL Nein Universidad Tecnológica del Urugay Vietnam Hanoi Metallurgie Nein / K.A. Vietnam Steel
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden u. a. pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Mit dem Klick auf Einstellungen können Sie zudem die einzelnen Cookies auswählen, welche Sie akzeptieren wollen. Das Einverständnis in die Verwendung der Cookies können Sie jederzeit, auch teilweise, widerrufen. Weitere Informationen zu Cookies auf dieser Website finden Sie in unserer Datenschutzerklärung und zu uns im Impressum.