The Software Synthesis Lab focuses on automated software synthesis approaches for the modeling, verification, and analysis of complex self-aware distributed systems that support autonomic and autonomous self-adaptive behaviors, including multi-robot and (micro)service-oriented systems. The aim is to simplify the inherent complexity for developers through the use of practical specification formalisms, enabling automated reasoning and synthesis for correct-by-construction composition, coordination and adaptation. Targeted systems involve distributed computing resources equipped with autonomic self-management and autonomous decision-making capabilities, enabling dynamic adaptation to unforeseen goal and mission changes, evolving operational contexts, and end-user ethical preferences.