Organizer: Informatics Europe
Speaker: Prof. Mira Mezini, TU Darmstadt
Today’s applications – ranging from mobile digital services (instant messengers, multiplayer games, etc.), collaborative workflows (Google Docs, Figma, Trello, etc.), real-time businesses (cross-organizational workflows, collaborative condition monitoring, etc.), autonomous vehicle services, production 4.0 software, and more – are very different from traditional ones: They run on globally distributed computing infrastructures, consistently interact with the outside world and are data-driven. In this talk, I will argue that to cope with challenges posed by these new computing realities we need programming models and technologies that offer safety and security properties by-design. More specifically, I will talk about language-integrated solutions that offer formally-proven consistency guarantees “out-of-the-box” in a decentralized and privacy-preserving manner and will present the ideas in the context of REScala (rescala-lang.com) – a library-based Scala extension.