In July we received the visit of Dr. Andrea Ceccarelli, from the University of Florence, Italy. Andrea was visiting UNICAMP for three weeks, as part of the ADVANCE project. His main research interests are the design, monitoring and experimental evaluation of critical and secure systems and systems of systems.
On last Friday we received the visit of Dr. András Vörös from the Budapest University of Technology and Economics, who gave a talk on his research activities. The talk addressed various aspect of the modeling and verification of embedded systems, using model-driven techniques.
The “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) research project has started this year with the participation of researchers from LASER, working on the challenges of future cyber-physical systems.
ADVANCE is an Horizon 2020 project, funded by the European Union under the Research and Innovation Staff Exchange (RISE) scheme, in which research is performed by exchange of researchers between the partners and transfer of knowledge activities.
The Kick-Off meeting of the project and first Transfer of Knowledge workshop were held in Florence, Italy, in the beginning of February 2019.