Formal Analysis and Design of Software Systems – FADoSS
Scientic Supervisor / Contact Person
Name and Surname
Adrián Riesco Rodríguez
ORCID (link)
Researcher ID (link)
Localization & Research Area
Faculty / Institute
Faculty of Computer Science and Engineering
Department
Software systems and computation
Research Area
Information Science and Engineering (ENG), Mathematics (MAT)
MSCA & ERC experience
Research group / research team hosted any MSCA fellow?
Yes
Research group / research team have any ERC beneficiaries?
No
Research Team & Research Topic
Research Team / Research Group Name (if any)
FADoSS
Website of the Research team / Research Group / Department
Brief description of the Research Team / Research Group / Department
The Research Group on Formal Analysis and Design of Software Systems (FADoSS) in the Department of Software systems and computation was officially recognized as a research group by UCM in 2005, and it currently consists of 26 PhDs, 3 PhD students, and 6 external collaborators, with Ismael Rodríguez Laguna and Adrián Riesco Rodríguez as its directors.
The main activity of the FADoSS group focuses on the study and development of rigorous techniques that ensure the correctness of software system design and to study computational complexity. It also aims to apply theoretical developments to specification and modeling systems, such as Maude.
Since its inception, the group's research has been continuously funded through national and regional projects, the most recent being the ProCode10 project from the Ministry of Science and Innovation. Most of these projects have been carried out in collaboration with the CLIP and Babel groups at the Polytechnic University of Madrid and IMDEA Software. Additionally, members of the group have participated in several European projects. The FADoSS group also collaborates with companies and has undertaken R&D projects with them.
The results of the research conducted by the FADoSS group are published in journals and proceedings of numerous international conferences, where they are frequently cited by other researchers in the field. FADoSS members also regularly participate in the program committees of these conferences and have organized prestigious events such as POPL 2010, MPC 2012, PPDP 2013, LOPSTR 2013, CONCUR 2015, ISR 2021, and ICFEM 2022.
The group has extensive contacts and joint projects with external researchers, both in Spain and abroad. In addition to the aforementioned joint projects, researchers from six Spanish universities participated in the complementary action Red Maude. The FADoSS group also maintains a close relationship with the IMDEA Software research institute in the Community of Madrid. Notable international collaborations include partnerships with the research groups of Professors José Meseguer at the University of Illinois at Urbana-Champaign (USA), Kazuhiro Ogata at JAIST (Japan), Carolyn Talcott at SRI International (USA), Rita Loogen at Philipps-Universität Marburg (Germany), Luca Aceto and Anna Ingólfsdóttir at Reykjavik University (Iceland), Daniel Gaina at Kyushu University (Japan), and Marco Gavanelli at the University of Ferrara (Italy).
FADoSS group members participate in the postgraduate program of the Faculty of Computer Science, teaching courses on software specification and validation, models of concurrent and distributed systems, and program analysis and transformation, among other formal methods topics. They also supervise master's theses. Additionally, they have supervised several PhD dissertations in the Computer Engineering doctoral program. Finally, they have contributed internationally by delivering courses at summer schools in various countries.
The main activity of the FADoSS group focuses on the study and development of rigorous techniques that ensure the correctness of software system design and to study computational complexity. It also aims to apply theoretical developments to specification and modeling systems, such as Maude.
Since its inception, the group's research has been continuously funded through national and regional projects, the most recent being the ProCode10 project from the Ministry of Science and Innovation. Most of these projects have been carried out in collaboration with the CLIP and Babel groups at the Polytechnic University of Madrid and IMDEA Software. Additionally, members of the group have participated in several European projects. The FADoSS group also collaborates with companies and has undertaken R&D projects with them.
The results of the research conducted by the FADoSS group are published in journals and proceedings of numerous international conferences, where they are frequently cited by other researchers in the field. FADoSS members also regularly participate in the program committees of these conferences and have organized prestigious events such as POPL 2010, MPC 2012, PPDP 2013, LOPSTR 2013, CONCUR 2015, ISR 2021, and ICFEM 2022.
The group has extensive contacts and joint projects with external researchers, both in Spain and abroad. In addition to the aforementioned joint projects, researchers from six Spanish universities participated in the complementary action Red Maude. The FADoSS group also maintains a close relationship with the IMDEA Software research institute in the Community of Madrid. Notable international collaborations include partnerships with the research groups of Professors José Meseguer at the University of Illinois at Urbana-Champaign (USA), Kazuhiro Ogata at JAIST (Japan), Carolyn Talcott at SRI International (USA), Rita Loogen at Philipps-Universität Marburg (Germany), Luca Aceto and Anna Ingólfsdóttir at Reykjavik University (Iceland), Daniel Gaina at Kyushu University (Japan), and Marco Gavanelli at the University of Ferrara (Italy).
FADoSS group members participate in the postgraduate program of the Faculty of Computer Science, teaching courses on software specification and validation, models of concurrent and distributed systems, and program analysis and transformation, among other formal methods topics. They also supervise master's theses. Additionally, they have supervised several PhD dissertations in the Computer Engineering doctoral program. Finally, they have contributed internationally by delivering courses at summer schools in various countries.
Research lines / projects proposed
- Specification and verification techniques for systems.
- Semantics of specification and programming languages.
- Static analysis of programs and type systems.
- Study and computational applications of rewriting logic.
- Design and implementation of the Maude language.
- Formal models for mobility and security.
- Semi-automatic theorem proving.
- Computational complexity of problems and heuristic solution methods.
- Study of logical properties of computer systems.
- Testing and modeling of distributed systems.
- Semantics of specification and programming languages.
- Static analysis of programs and type systems.
- Study and computational applications of rewriting logic.
- Design and implementation of the Maude language.
- Formal models for mobility and security.
- Semi-automatic theorem proving.
- Computational complexity of problems and heuristic solution methods.
- Study of logical properties of computer systems.
- Testing and modeling of distributed systems.
Key words
Application requirements
Professional Experience & Documents
- CV.
- Letter of motivation.
- Letter of motivation.
One Page Proposal
You can attach the 'One Page Proposal' to enhance the attractiveness of your application. Supervisors usually appreciate it. Please take into account your background and the information provided in Research Team & Research Topic section to fill in it.
Submit an application
Forms