Giorgio Forcina, Doctoral student

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.