Giorgio is a Ph.D. student at Mälardalens University since the end of 2017. He studied Computer Science at University of Camerino and reached his bachelor degree in 2014 with the highest grade. He received his M.Sc. in Computer Science from the University of Camerino and the Reykjavik University in 2016 with the highest grade. His main research interests rely on Software Engineering, Formal Methods, and Artificial Intelligence. From March 2017 until September of the same year, he worked as a researcher at the University of Camerino within the research group named Smart Mobility Lab (SMoL) on the Tangramob project.
The main research interest of Giorgio Forcina is on applying formal methods in Software Engineering.He works on modeling and verification of concurrent and distributed systems, and on the mapping process from Agent-based model to Actor-based model. He has been investigating actors models since 2016 using the modeling language Rebeca. Rebeca is an actor-based language for modeling concurrent and reactive systems with asynchronous message passing.
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
Actor-based macroscopic modeling and simulation for smart urban planning (Dec 2018) Jacopo de Berardinis , Marjan Sirjani, Giorgio Forcina, Ali Jafari Science of Computer Programming (SCICO)
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives (Sep 2017) Giorgio Forcina, Marjan Sirjani, Carlo Castagnari , Jacopo de Berardinis , Ali Jafari Software Engineering and Formal Methods (SEFM)
An Actor-based Design Platform for System of Systems Marjan Sirjani, Giorgio Forcina, Ali Jafari , Stephan Baumgart, Ehsan Khamespanah , Ali Sedaghatbaf COMPSAC 2020: IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)