Concepts of distributed computing impact networking from the application layer to the physical layer, from cloud servers in the core network to sensors in wireless edge networks. Our group works on foundational aspects of distributed computing, with particular focus on fault-tolerance, security, and timeliness properties. Formal methods are used to specify and verify designs, often with component-based reasoning. Self-stabilization and other self-* designs are studied for dynamic and/or mobile networks. And scalability of distributed algorithms, both in terms of limits and feasibility is addressed.