The mission of the Automated Software Design (ASD) Groups is to
extend the boundaries of automation in analysis and design of software systems,
thereby increasing software dependability. Towards this end, we are interested
in both theoretical and practical aspects of automating the development of
dependable software systems. Our particular focus is on algorithmic design and
repair of distributed programs where there is no central point of coordination
and global objectives must be achieved by local actions of system components.