TU Wien Informatics

Excellence in Research: DC-RES and Carlo Ghezzi

  • 2019-11-25
  • Research
  • DC RES

We invite you to a guest talk by Carlo Ghezzi and to learn more about our Doctoral College on Resilient Embedded Systems.

Excellence in Research: DC-RES and Carlo Ghezzi

  • TU Wien, Campus Getreidemarkt
    Konferenzsaal TUtheSky
  • 1060 Vienna, Getreidemarkt 9
    Bauteil BA (Hoftrakt), 11. Stock, Raum BA11B07

The Vienna PhD School of Informatics provides our PhD students with an environment that encourages them to contribute to the advancement of technology through independent creative research. Our program enables them to become independent researchers who are capable of generating, pursuing and communicating novel research ideas. An excellent scientific basis is the essential prerequisite to excel in research.

With this event, we invite you to learn more about our Doctoral College Resilient Embedded Systems, its scope, our students, and the upcoming 2019 Call for Application. We are especially honored to be welcoming Carlo Ghezzi, newly appointed Dr. techn. h.c., who will give a talk on cyber-physical systems.


17:15 — Welcome Address

Hannes Werthner

17:25 — Presentation of the DC Resilient Embedded Systems

Andreas Steininger

17:45 — Talk “Software Engineering for Cyber-Physical Spaces”

Carlo Ghezzi

This talk will show an avenue for research which can be characterized as rethinking spatial environments from a software engineering perspective — in both design and operation aspects. Regarding design, it shows how domain descriptions can give rise to models amenable to automated analyses of dynamic behaviors in spaces populated by humans, robots, and mobile devices. Verification amounts to assessing if some collective behaviors violate certain requirements the overall system should exhibit. In particular, the talk will discuss how verification can scale to realistic space models. Regarding runtime, it will consider supporting analyses on the cloud on behalf of resource-constrained and spatially-distributed IoT devices. It will hint at how spatial verification processes can be integrated in the service layer of an IoT-cloud architecture based on microservices, and what tradeoffs emerge across different deployment options.

18:30 — Discussion

18:45 — Get-together Over Bread And Wine

19:15 — End

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.