The University of A Coruña is a young institution, born in 1989, with more than 25000 students and about 1000 lecturers and researchers. Over the years the University has developed a dynamic and well-balanced community offering education and performing research in numerous and diverse areas of study. The MADS group focuses on distributed control systems and functional programming to build large-scale reliable applications, and on how formal methods and advanced testing techniques can help improve the development process.
In this project, the MADS research group will contribute with its expertise applying distributed and functional programming, and researching, formulating, and contrasting advanced modelling and testing methodologies.
Contact: Laura Castro