Manfred Broy – On the Interplay between Formal Foundations, Peer Driven Research, Applied Research and Transfer in Software and Systems Engineering

There are often complaints – in particular in the scientific community – about the lack of interplay and transfer between scientific research in software and systems engineering as we find it at universities and research institutes and practice of software and systems engineering. In fact, it is not so easy to relate very foundational formal techniques as they are under research with practice in industries. We discuss – in particular with respect to research in software and systems engineering and their modeling – our experiences in applying our techniques as a result of peer driven research in practice, where we interacted with a number of companies and try to develop patterns of interactions which on one hand are effective techniques to bring research results into practice and on the other hand make sure that research understands the open problems in practice in more detail and develops ideas in which way such problems could be tackled.


Manfred Broy’s research is in software and systems engineering both in theoretical and practical aspects. This includes system models, specification and refinement of system and software com¬ponents, specification techniques, development methods and verification. He is leading a research group working in a number of industrial projects that apply mathematically based techniques to combine practical approaches to software engineering with mathematical rigor. His main topics are requirements engineering, software and system architectures, componentware, software development processes, software evolution, and software quality. In his group the CASE tool AutoFocus was developed.
One of the main themes of Manfred Broy is the role of software in a networked world. As a member of acatech under his leadership the study Agenda Cyber-Physical Systems was created for the Federal Ministry of Research to comprehensively investigate the next stage of global networking through the combination of cyberspace and embedded systems in all their implications and potential.
From January 2016 till April 2019 Professor Broy was founding president of the Bavarian Center for Digitization. There he was working on the topics of digital transformation and digital innovation.

Renzo Vitale – Designing Sounds and Music for Modernity

Over forty years have gone by since R. M. Schafer began one of his book with the line „The soundscape of the world is changing“. Nevertheless, this sentence is still valid today more than ever before. Sounds play a major role in our daily experience: they guide us, talk to us, move us and protect us. Sonic entities play with our consciousness and are able to find a place within the stream of our thoughts through subconscious intersections. Understanding the way we perceive and react to emotions as well as integrating notions from other disciplines, such as science and art, are some of the keys for creating effective sounds, especially in relation to the complexity of our environment and the extensive amount of pre-existing sounds. This talk will present a few ideas on how to face the challenge of composing new sounds and music for modernity.


Renzo Vitale explores the narrative between music, science and human perception envisioning sonic spaces for music to evolve, for cities to sing, for people to transcend. He is an Italian pianist, composer, sound designer, acoustic engineer and artist. His creative process involves an interrogation of the relation between music, science and human perception.
As a musician, Vitale has composed a wide spectrum of works ranging from dance theater to performative installation pieces and virtual reality experiences. His solo works focus on vulnerable states of human condition, such as the sublimity of emotional gravities and the irrational nature of disorders. As a scientist, his research encompasses architectural acoustics, psychoacoustics, vehicle acoustics and music communication.
Vitale holds a PhD in Acoustics from RWTH Aachen University, two master’s degrees in electronic engineering and in piano performance as well as further studies in electronic music, composition and conducting. Previously he has been a research scholar at the Institute of Technical Acoustics in Aachen, Pratt Institute in New York and KTH in Stockholm.
In 2015 he joined the Research and Innovation Center of BMW Group where he designs the sounds of electric vehicles. He conceived a new generation of sounds through a novel approach that he calls “Sound Genetics”. In 2019 he partnered with Oscar winning composer Hans Zimmer to compose the drive sound for a vision vehicle.

Kristina Shea – Designing with 3D and 4D Printing: Impacts on computational modeling and optimization

The recent rise in digital fabrication, including 3D and 4D printing, may be the best thing that has happened to the area of computational design. Today, designers struggle to design parts, structures and novel systems that take full advantage of the complex shapes and material combinations that are now possible through 3D printing. This drives the need for new generative design and optimization methods for 3D printing. 4D printing extends on this to include the time dimension, i.e. the 3D printing of autonomous machines that reconfigure and deploy themselves or provide locomotion. Here, we re-think the traditional mechatronic approach to automation and replace traditional components, like actuators, with active materials that can be 3D printed. Examples presented include reconfigurable structures, a swimming robot and a self-deploying solar panel. I will highlight in the talk our modeling and optimization techniques that are developed to tackle the new complexities of designing with 3D and 4D printing.


Kristina Shea is Full Professor for Engineering Design and Computing in Mechanical and Processing Engineering at ETH Zürich since 2012. Her research focuses on developing cutting-edge computational models, methods and tools that enable the design of more novel and optimized engineered systems and products as well as to automate design and fabrication processes. Currently her research group focuses on new computational design methods for 3D and 4D printing as well as computational design synthesis and optimization methods. Application areas include consumer products, buildings, robotics, biomedical, space and automotive. She graduated in Mechanical Engineering (BS 1993; MS 1995; PhD 1997) from Carnegie Mellon University (US). She has held academic positions at EPFL, University of Cambridge (UK) and TU München (Germany) and worked as a Senior Engineer at Arup (London, UK). She is a Fellow of the American Society of Mechanical Engineers (ASME).