Informatik am KIT: Die Nachwuchsgruppen stellen sich vor

  • Wann:

    26.07. bis 27.07.2010

  • Wo:

    Informatik-Hauptgebäude (50.34),
    HS -101 (UG), Am Fasanengarten 5,
    76131 Karlsruhe

  • Flyer »Informatik am KIT«:

    Download [PDF]

Informatik am KIT: Die Nachwuchsgruppen stellen sich vor

Das Karlsruher Institut für Technologie (KIT) hat sich zum Ziel gesetzt, »high potentials« aus aller Welt, vor allem aus dem naturwissenschaftlich-technischen Bereich, nach Karlsruhe zu holen und ihnen hier attraktive Arbeitsbedingungen zu bieten. Zahlreiche Nachwuchswissenschaftler, die durch herausragende Forschungsergebnisse bereits ihre Exzellenz unter Beweis gestellt haben, konnten zur Mitarbeit im KIT gewonnen werden.

An der Fakultät für Informatik sind derzeit elf Nachwuchsgruppen angesiedelt, die nun im Rahmen einer anderthalbtägigen Veranstaltung von ihren Forschungsgebieten und Zielsetzungen berichten.

 Programm am Montag, 26.07.2010

09:00 Uhr Begrüßung
  • Prof. Dr. Ralf Reussner
    Prodekan für Forschung an der Fakultät für Informatik
  • Grußwort aus dem Ministerium für Wissenschaft, Forschung und Kunst
  • Dr. Oliver Waldhorst
    Vertreter der Nachwuchsgruppenleiter Informatik
09:30 Uhr

Eingeladener Vortrag I

Wissenschaftlich fundiertes Software Engineering für Cyber-Physical Systems
Prof. Dr. Dr. h.c. Manfred Broy, TU München

10:30 Uhr Kaffeepause
11:00 Uhr

Session I: Software-Systeme der nächsten Generation

  • Software Engineering in the Era of Parallelism
    Dr. Victor Pankratius, KIT
  • The Internet in Your Hand - On Potential and Challenges of Running Internet Applications on Mobile Devices
    Dr. Oliver Waldhorst, KIT
  • Engineering of Next Generation Self-Aware Software Systems: A Research Roadmap
    Dr. Samuel Kounev, KIT
12:30 Uhr Mittagspause
14:00 Uhr

Session II: Mobilität und Energieeffizienz

  • Advanced Technical Cognitive Systems for Mobility
    Assistance, Prof. Dr. J. Marius Zöllner, KIT
  • Efficient Usage of Wireless Communication Resources for Safety and non-Safety Vehicular Communication
    Dr. Jérôme Härri, KIT
  • Designing Energy-Efficient, Predictable, and Reliable Real-Time Embedded Systems
    Juniorprof. Dr. Jian-Jia Chen, KIT
15:30 Uhr Kaffeepause
16:00 Uhr

Session III: Mensch-Maschine-Interaktion

Image and Video Analysis to Enable Human-Friendly Systems,
Prof. Dr. Rainer Stiefelhagen, KIT

16:30 Uhr

Podiumsdiskussion (ca. 1h)

Nachwuchsförderung am KIT: Was wurde erreicht, was bleibt zu tun?

19:00 Uhr Social Event (Höpfner Burghof)

Programm am Dienstag, 27.07.2010

09:00 Uhr

Eingeladener Vortrag II

Practical Design and Analysis of Certifiably Secure Protocols - Theory, Tools and Challenges for End-to-End Security
Prof. Dr. Michael Backes, Universität Saarbrücken

10:00 Uhr Kaffeepause
10:30 Uhr Session IV: Sicherheit

  • Data Privacy in Novel Ubiquitous Computing Applications,
    Dr. Erik Buchmann, KIT
  • The What, Why, and How of Provably Secure Encryption
    Juniorprof. Dr. Dennis Hofheinz, KIT
11:30 Uhr Session V: Software-Qualität

  • Checking Software Reliability
    Juniorprof. Dr. Mana Taghdiri, KIT
  • Software Verification: State of the Art and Challenges
    Dr. Carsten Sinz, KIT
12:30 Uhr Abschluss, Imbiss im Foyer