This talk will highlight several activities at Alcatel-Lucent's Bell Laboratories, in the areas of software analysis, transformation, and verification, as well as the ongoing interdisciplinary Bell Labs theme around enhancing tools for video-conferencing and tele-working.

Dennis Dams has a background in formal methods. At Eindhoven University (NL) and Bell Labs, Murray Hill (USA), he has developed theory and tools for the verification and analysis of programs. More recently, he has been working in projects aimed at developing a platform for the creation of networked applications that involve immersive communication.