From Lasige
This line of research investigates formal methods that ease the development and management of software systems under the emergent “Global Computing” paradigm. It explores the development of design techniques, programming languages, type systems and other program analysis that contribute to the reliable deployment and evolution of software systems that will live in “Global Computers”.
