50 Jahre Universitäts-Informatik in München

Description

50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, Technische Universität München und Universität der Bundeswehr Neubiberg) sind der Anlass für diese Sammlung aktueller Informatik-Aktivitäten in Forschung und Lehre im Jahr 2017. Ohne Anspruch auf Vollständigkeit dokumentieren sie Bedeutung und Vielfalt der heutigen Universitäts-Informatik. Die Beiträge beziehen sich auf die Fachgebiete Sicherheit in der Informatik, Mensch-Computer-Interaktion, Bioinformatik, Neuro-Robotik, Algorithmen in BWL und Operations Research, Internet-Forschung, Big Data und Maschinelles Lernen, Connected Mobility, das Münchner Wissenschaftsnetz, Computerspiele, automatische Verifikation, mobiles Internet, Medieninformatik. Den Abschluss bildet eine kurze Zusammenfassung der historischen Entwicklung der Informatik in München. Front Matter ....Pages I-X Cybersicherheit Beyond 2020! (Claudia Eckert)....Pages 1-10 Allgegenwärtige Mensch-Computer-Interaktion (Michael Koch, Florian Alt)....Pages 11-31 Bioinformatics Advances Biology and Medicine by Turning Big Data Troves into Knowledge (Julien Gagneur, Caroline Friedel, Volker Heun, Ralf Zimmer, Burkhard Rost)....Pages 33-45 Human Collaboration Reshaped: Applications and Perspectives (Martin Bogner, François Bry, Niels Heller, Stephan Leutenmayr, Sebastian Mader, Alexander Pohl et al.)....Pages 47-73 Software-Verifikation (Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing)....Pages 75-86 Innovationszentrum Mobiles Internet des ZD.B (Claudia Linnhoff-Popien, Sebastian Feld, Martin Werner, Mirco Schönfeld)....Pages 87-95 Medieninformatik und Mensch-Computer-Interaktion an der LMU München (Andreas Butz, Heinrich Hußmann)....Pages 97-104 Human-Computer Interaction Generating Intrinsic Motivation in Educational Applications (David A. Plecher, Axel Lehmann, Marko Hofmann, Gudrun Klinker)....Pages 105-112 Intelligence and Security Studies (Uwe M. Borghoff, Jan-Hendrik Dietrich)....Pages 113-121 Neurorobotics: From Computational Neuroscience to Intelligent Robots and Back (A. Knoll, F. Röhrbein, M. Akl, A. Kuhn, K. Sharma)....Pages 123-128 Algorithmic Economics und Operations Research (Susanne Albers, Martin Bichler, Felix Brandt, Peter Gritzmann, Rainer Kolisch)....Pages 129-139 Herausforderungen an der Schnittstelle von Informatik und Gesellschaft: Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt (Markus Anding, Andreas Boes, Claudia Eckert, Dietmar Harhoff, Thomas Hess, Ursula Münch et al.)....Pages 141-147 Die Evolution des Hauptspeicher-Datenbanksystems HyPer: Von Transaktionen und Analytik zu Big Data sowie von der Forschung zum Technologietransfer (Alfons Kemper, Viktor Leis, Thomas Neumann)....Pages 149-154 Informatik-Forschung für digitale Mobilitätsplattformen (Sasan Amini, Kristian Beckers, Markus Böhm, Fritz Busch, Nihan Celikkaya, Vittorio Cozzolino et al.)....Pages 155-172 Das Münchner Wissenschaftsnetz (Heinz-Gerd Hegering, Helmut Reiser, Dieter Kranzlmüller)....Pages 173-187 Computer Vision für 3D Rekonstruktion (Daniel Cremers)....Pages 189-195 Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft (Manfred Broy)....Pages 197-201