I am a phD candidate at Politecnico di Milano since November 2014 under supervision of Prof. Dino Mandrioli.
I work on a joint project with ITIA - CNR to provide software solutions for operator safety in collaborative robot environments.
I got my bachelor degree in computer Science from University of Tehran, faculty of science, in 2009 and my master degree from Politecnic of Milan in 2013. As a master thesis I proposed two algorithms to implement a decentralized Load-balancer applicable among multiple cloud architectures.
My current research interests are: Application of Formal Methods in Robotics, On-the-fly Model checking and run-time verification of safety critical systems.