Automated Software Design (ASD) Group at MichiganTech




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.






Software Tools


Our research has been in part supported by the NSF grants #CCF-0950678 and #CCF-1116546, and Michigan Tech’s Research Excellence Fund.


                                    Full Name Horizontal Logo