I am a full-time PhD student at the MAP-i Doctoral Program in Computer Science held by the Universities of Minho, Porto, and Aveiro, Portugal.
I was accepted by University of Minho, with the Swap and Transfer Project, Erasmus Mundus Programme -Action 2 in 2014 during my Master in Jilin University. I finish my Master in Computer Networks and Telematic Services from University of Minho, Portugal in 2016. The title of my thesis is " Distributed Databases Synchronization in Named Data Delay Tolerant Networks ".
My current research is about Alloy- a lightweight relational logic based formal modeling language.