WE ARE HIRING! If you are a Research Engineer, a Ph.D. Candidate or a Post-Doctoral Researcher candidate please send your CV to ferruccio.damiani@unito.it
The overall research goal of the MoVeRe (System Modelling, Verification and Reuse) group is to contribute to an effective seamless integration of Formal Methods into software and system development methodologies.
The research interests of the group span from foundational aspects to tools for supporting rigorous engineering of industrial systems.
The research activity of the group mainly focuses on developing Rigorous Approaches to Software (and System) Engineering and Domain Specific Languages for
- Aggregate computing, distributed systems, self-organisaton, collective intelligence and swarm intelligence,
- Digital twins,
- (Far)Edge-Cloud continuum,
- Internet of Things and Cyber-Physical Systems,
- Quantum computing,
- Self-adaptive systems,
- Swarm robotics,
- System evolution and dynamic software updates,
- Variability modeling and (multi) software product lines,
and on their validation in Industry/Logistics X.0, Smart-cites, Precision agriculture, and Scientific computing scenarios.